LOGTOOPT=/dev/null
LOGTOBYTE=/dev/null
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
+ make tests DO_TEST_OPTS="-no-color -twice"
+ make tests.opt DO_TEST_OPTS="-no-color -twice"
}
function compile {