diff options
Diffstat (limited to 'test/run_tests.sh')
| -rwxr-xr-x | test/run_tests.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh index d39b65cb..ffbf73db 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -29,11 +29,13 @@ printf "******************************************\n\n" ./test/lem/run_tests.sh -printf "******************************************\n" -printf "* Builtins tests *\n" -printf "******************************************\n\n" +# Need to work on these tests some more + +# printf "******************************************\n" +# printf "* Builtins tests *\n" +# printf "******************************************\n\n" -./test/builtins/run_tests.sh +# ./test/builtins/run_tests.sh printf "******************************************\n" printf "* ARM spec tests *\n" |