$COMPILER $T 1>/dev/null 2>/dev/null
fi
$CLEANER $T 1>/dev/null 2>/dev/null
/usr/bin/time --quiet -o $TMP -f "%E %U %S" $COMPILER $T >> $LOGFILE 2>&1
$COMPILER $T 1>/dev/null 2>/dev/null
fi
$CLEANER $T 1>/dev/null 2>/dev/null
/usr/bin/time --quiet -o $TMP -f "%E %U %S" $COMPILER $T >> $LOGFILE 2>&1