X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Ftest.sh;h=368814a9f216bfaec1b5527936cd56a5612709b7;hb=82a071f2894cfcc59511458c69e8e59581055880;hp=e34ffaeec7ac815c6b6fa07c7738a06b5532f2e6;hpb=259ed7dfe69f50fd1b4967b272b094f1b2b50493;p=mc1516pa.git

diff --git a/modelchecker/test.sh b/modelchecker/test.sh
index e34ffae..368814a 100755
--- a/modelchecker/test.sh
+++ b/modelchecker/test.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
+set -e
 
+make
 TOTAL=0
 PASSED=0
 for testscreen in tests/*; do