- export DO_TESTS_EXTRA="$MARK\t$n"
- 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$@"
+ scripts/do_tests.sh -no-color -twice ./matitac.opt $LOGTOOPT tests/*.ma
+ scripts/do_tests.sh -no-color -twice ./matitac $LOGTOBYTE tests/*.ma