for T in $TODO; do
echo -en "$COMPILER\t$T\t"
- /usr/bin/time -o $TMP -f "%E\t%U\t%S" $COMPILER $T >> $LOGFILE 2>&1
+ /usr/bin/time --quiet -o $TMP -f "%E\t%U\t%S" $COMPILER $T >> $LOGFILE 2>&1
if [ $? = 0 ]; then
echo -e "$OK\t`cat $TMP`\t$DO_TESTS_EXTRA"
else