6 if [ "$1" = "-no-color" ]; then
18 if [ -z "$COMPILER" -o -z "$LOGFILE" -o -z "$TODO" ]; then
21 echo " do_tests.sh [-no-color] ./compiler logfile tests.ma ..."
23 echo "The value of the DO_TESTS_EXTRA evironment variable"
24 echo "will be appended to each line."
31 echo -en "$COMPILER\t$T\t"
32 /usr/bin/time --quiet -o $TMP -f "%E\t%U\t%S" $COMPILER $T >> $LOGFILE 2>&1
34 echo -e "$OK\t`cat $TMP`\t$DO_TESTS_EXTRA"
36 echo -e "$FAIL\t`cat $TMP`\t$DO_TESTS_EXTRA"