nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5252d7f
)
tests: error on unknown engine
author
Jean Privat
<jean@pryen.org>
Tue, 19 Nov 2013 01:49:02 +0000
(20:49 -0500)
committer
Jean 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
patch
|
blob
|
history
diff --git
a/tests/tests.sh
b/tests/tests.sh
index
e9870ab
..
57f0a37
100755
(executable)
--- a/
tests/tests.sh
+++ b/
tests/tests.sh
@@
-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