adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

x64: test CRefine in quick_and_dirty mode

This commit is contained in:
Rafal Kolanski 2018-01-17 20:36:57 +11:00 committed by Joel Beeren
parent 569abcff5a
commit 451e204a6e
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
run_tests
View File

@ -36,6 +36,11 @@ if L4V_ARCH == "ARM":
os.environ["L4V_ARCH_IS_ARM"]= L4V_ARCH
print "Testing Orphanage for ARM"
# X64 CRefine is still under development
if L4V_ARCH == "X64":
os.environ["CREFINE_QUICK_AND_DIRTY"]="1"
print "Testing X64 CRefine in quick_and_dirty mode"
# Check we are using a known Architecture
if L4V_ARCH not in L4V_ARCH_LIST:
sys.exit("Unknown architecture L4V_ARCH=%s" % L4V_ARCH)