- export DO_TESTS_EXTRA="$MARK\t$2"
- ls
- scripts/do_tests.sh -no-color ./matitac.opt $LOGTOOPT tests/*.ma
- #scripts/do_tests.sh -nocolor ./matitac $LOGTOBYTE tests/*.ma
+ export DO_TESTS_EXTRA="$MARK\t$@"
+ make tests DO_TESTS_OPTS="-no-color -twice"
+ make tests.opt DO_TESTS_OPTS="-no-color -twice"