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

run_tests: update outdated comment 

The Orphanage session is no longer conditional on L4V_ARCH_IS_ARM
(instead it is empty for those architectures that don't support it).

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-06-06 11:30:45 +10:00 committed by Gerwin Klein
parent 6da2d97c69
commit 290b7c73cc
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
run_tests
View File

@ -126,12 +126,10 @@ for arch in archs:
print(f"Testing for L4V_ARCH='{arch}', L4V_FEATURES='{features}', L4V_PLAT='{plat}':")
os.environ["L4V_ARCH"] = arch
# Test Orphanage when L4V_ARCH=ARM;
# we need to set this flag here to test the above equality in the ROOT file.
# To be removed when we finish proving Orphanage for ARM_HYP and X64
# Provide L4V_ARCH_IS_ARM for Corres_Test in lib/ROOT
if arch == "ARM":
os.environ["L4V_ARCH_IS_ARM"] = arch
print("Testing Orphanage for ARM")
print("Setting L4V_ARCH_IS_ARM")
elif "L4V_ARCH_IS_ARM" in os.environ:
del os.environ["L4V_ARCH_IS_ARM"]