diff options
| -rwxr-xr-x | test/aarch64_small/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/aarch64_small/run_tests.sh b/test/aarch64_small/run_tests.sh index cc6f223e..dc2bdde4 100755 --- a/test/aarch64_small/run_tests.sh +++ b/test/aarch64_small/run_tests.sh @@ -45,7 +45,7 @@ function finish_suite { printf "<testsuites>\n" >> $DIR/tests.xml -if make -B -C ../../aarch64_small SAIL="$SAILDIR/sail" +if make -B -C ../../aarch64_small armV8.lem SAIL="$SAILDIR/sail" then green "built aarch64_small to lem" "ok" else |