From 956d4ce8151fe45a09fac1bd664167dbb8dace63 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 28 May 2019 17:35:46 +0100
Subject: Just build lem in aarch64_small test

---
 test/aarch64_small/run_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/aarch64_small')

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
-- 
cgit v1.2.3