diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/aarch64_small/run_tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/aarch64_small/run_tests.sh b/test/aarch64_small/run_tests.sh index f389b151..cc6f223e 100755 --- a/test/aarch64_small/run_tests.sh +++ b/test/aarch64_small/run_tests.sh @@ -43,6 +43,8 @@ function finish_suite { fail=0 } +printf "<testsuites>\n" >> $DIR/tests.xml + if make -B -C ../../aarch64_small SAIL="$SAILDIR/sail" then green "built aarch64_small to lem" "ok" |