From 2dfcbdeedb0ac40d4865aaf5c2202dfba95f4a38 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 14 Dec 2018 15:17:42 +0000
Subject: Add a few more tests for Jenkins

Some of the output from the tests scripts is odd on Jenkins, try to
fix this by flushing stdout more regularly in the test scripts
---
 test/run_tests.sh | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'test/run_tests.sh')

diff --git a/test/run_tests.sh b/test/run_tests.sh
index 5e6fe691..ba0a2112 100755
--- a/test/run_tests.sh
+++ b/test/run_tests.sh
@@ -12,28 +12,28 @@ printf "==========================================\n"
 ./typecheck/run_tests.sh
 
 printf "\n==========================================\n"
-printf "Ocaml tests\n"
+printf "Lem tests\n"
 printf "==========================================\n"
 
-./ocaml/run_tests.sh
+./lem/run_tests.sh
 
 printf "\n==========================================\n"
-printf "C tests\n"
+printf "Ocaml tests\n"
 printf "==========================================\n"
 
-./c/run_tests.py
+./ocaml/run_tests.sh
 
 printf "\n==========================================\n"
-printf "Lem tests\n"
+printf "C tests\n"
 printf "==========================================\n"
 
-./lem/run_tests.sh
+TEST_PAR=8 ./c/run_tests.py
 
 printf "\n==========================================\n"
 printf "Builtins tests\n"
 printf "==========================================\n"
 
-./builtins/run_tests.py
+TEST_PAR=4 ./builtins/run_tests.py
 
 printf "\n==========================================\n"
 printf "ARM spec tests\n"
-- 
cgit v1.2.3