diff -r aa1a9fbd6eb8 -r 63a30dd47eb8 scripts/functions
--- a/scripts/functions	Thu May 17 16:22:51 2007 +0000
+++ b/scripts/functions	Thu May 17 22:10:48 2007 +0000
@@ -97,7 +97,7 @@
     elapsed_min=$((elapsed/(60*1000*1000*1000)))
     elapsed_sec=`printf "%02d" $(((elapsed%(60*1000*1000*1000))/(1000*1000*1000)))`
     elapsed_csec=`printf "%02d" $(((elapsed%(1000*1000*1000))/(10*1000*1000)))`
-    CT_DoLog INFO "(elapsed: ${elapsed_min}:${elapsed_sec}.${elapsed_csec})"
+    CT_DoLog ${1:-INFO} "(elapsed: ${elapsed_min}:${elapsed_sec}.${elapsed_csec})"
 }
 
 # Abort the execution with an error message