tests: error on unknown engine
authorJean Privat <jean@pryen.org>
Tue, 19 Nov 2013 01:49:02 +0000 (20:49 -0500)
committerJean Privat <jean@pryen.org>
Tue, 19 Nov 2013 01:49:02 +0000 (20:49 -0500)
Signed-off-by: Jean Privat <jean@pryen.org>

tests/tests.sh

index e9870ab..57f0a37 100755 (executable)
@@ -299,6 +299,14 @@ case $engine in
                enginebinname=nit
                savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
                ;;
+       nitc)
+               echo "disabled engine $engine"
+               exit 0
+               ;;
+       *)
+               echo "unknown engine $engine"
+               exit 1
+               ;;
 esac
 
 # The default nitc compiler