nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
sepcomp: fix potential tagging issue in `is_same_type_test`
[nit.git]
/
tests
/
testall.sh
diff --git
a/tests/testall.sh
b/tests/testall.sh
index
986a852
..
61b00e9
100755
(executable)
--- a/
tests/testall.sh
+++ b/
tests/testall.sh
@@
-14,7
+14,7
@@
# limitations under the License.
# Run some tests on each engine
-for x in nitg-g nitg-s nitg-sg nitg-e niti nitvm; do
+for x in nitcg nitcs nitcsg nitce niti nitvm; do
echo "--engine $x"
./tests.sh --engine $x "$@"
done