diff --git a/tests/compare_testfiles.sh b/tests/compare_testfiles.sh
index 6125bc7..0d6e938 100755
--- a/tests/compare_testfiles.sh
+++ b/tests/compare_testfiles.sh
@@ -1,6 +1,8 @@
 #!/bin/sh
 
-if [ "$1" = "" ]; then 
+export TIME='real\t  %e'
+
+if [ "$1" = "" ]; then
 	echo "specify path to tlc binary"
 	exit 1
 else