diff --git a/run_tests b/run_tests index 0d58084f7..f5d087ff6 100755 --- a/run_tests +++ b/run_tests @@ -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"]