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

runtest: echo NUM_DOMAINS override 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-12-10 12:58:22 +01:00 committed by Achim D. Brucker
parent d2940797c4
commit 28197a5b9e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
run_tests
View File

@ -122,7 +122,9 @@ returncode = 0
for arch in archs:
features = os.environ.get("L4V_FEATURES", "")
plat = os.environ.get("L4V_PLAT", "")
print(f"Testing for L4V_ARCH='{arch}', L4V_FEATURES='{features}', L4V_PLAT='{plat}':")
num_domains = os.environ.get("INPUT_NUM_DOMAINS", "")
print(f"Testing for L4V_ARCH='{arch}', L4V_FEATURES='{features}', L4V_PLAT='{plat}', "
f"INPUT_NUM_DOMAINS='{num_domains}'")
os.environ["L4V_ARCH"] = arch
# Provide L4V_ARCH_IS_ARM for Corres_Test in lib/ROOT