COMPILER=$1
shift
+CLEANCOMPILER=`echo $COMPILER | cut -d ' ' -f 1`
CLEANER=$1
shift
LOGFILE=$1
export TIMEFORMAT="%2lR %2lU %2lS"
for T in $TODO; do
- printf "$COMPILER\t%-30s " $T
+ printf "$CLEANCOMPILER\t%-30s " $T
if [ "$TWICE" = "1" ]; then
$CLEANER $T 1>/dev/null 2>/dev/null
$COMPILER $T 1>/dev/null 2>/dev/null