Index: tools/timeit.sh
===================================================================
--- tools/timeit.sh
+++ tools/timeit.sh
@@ -46,6 +46,6 @@
 fi
 
 echo exit $EXITCODE > $REPORT
-awk -F' ' '{if ($2 == "task-clock") print "user",$1/1000; else if($2 =="seconds") print "real",$1;}' $PERFSTAT >> $REPORT
+awk -F' ' '{if ($2 ~ /^task-clock/ || $3 ~ /^task-clock/) print "user",$1/1000; else if($2 == "seconds" && $4 == "elapsed") print "real",$1;}' $PERFSTAT >> $REPORT
 
 exit $EXITCODE