run_tests: don't set L4V_ARCH_IS_ARM for other archs

Leftover bug from 445b003.
seL4 · Jun 25, 2019 · 1a3de82 · 1a3de82
1 parent b3c4a56
commit 1a3de82
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/run_tests b/run_tests
@@ -120,6 +120,8 @@ for arch in archs:
     if arch == "ARM":
         os.environ["L4V_ARCH_IS_ARM"] = arch
         print "Testing Orphanage for ARM"
+    elif "L4V_ARCH_IS_ARM" in os.environ:
+        del os.environ["L4V_ARCH_IS_ARM"]
 
     # Arguments:
     args  = ['./misc/regression/run_tests.py']                 # Script name