Lines Matching refs:os
13 import os
21 DIR=os.path.dirname(os.path.realpath(__file__))
24 os.environ["PATH"] += os.pathsep + DIR
27 if not os.environ.has_key("L4V_ARCH"):
28 os.environ["L4V_ARCH"] = L4V_ARCH_DEFAULT
30 L4V_ARCH=os.environ["L4V_ARCH"]
36 os.environ["L4V_ARCH_IS_ARM"]= L4V_ARCH
46 os.environ["ISABELLE_TIMING_LOG"]="3.0s"
49 if os.environ.has_key("QUICK_AND_DIRTY"):
50 os.environ["AINVS_QUICK_AND_DIRTY"]=1
51 os.environ["REFINE_QUICK_AND_DIRTY"]=1
52 os.environ["CREFINE_QUICK_AND_DIRTY"]=1
99 os.chdir(DIR)
107 os.execvp('./misc/regression/run_tests.py',args)