diff options
| author | Alasdair Armstrong | 2019-05-28 17:35:46 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-28 17:35:46 +0100 |
| commit | 956d4ce8151fe45a09fac1bd664167dbb8dace63 (patch) | |
| tree | d602cb580ddb8e9b2d521cd4c921765ed4fb950a /test/aarch64_small | |
| parent | 5f3e0d30ad5906e343094e46eed9ed1456b30c9a (diff) | |
Just build lem in aarch64_small test
Diffstat (limited to 'test/aarch64_small')
| -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 |