diff -r 860f8380538d -r 1761c8b3f415 scripts/functions
--- a/scripts/functions	Mon May 28 20:57:40 2007 +0000
+++ b/scripts/functions	Tue May 29 19:56:21 2007 +0000
@@ -102,14 +102,15 @@
 # Usage: CT_DoEnd <level>
 CT_DoEnd()
 {
+    local level="$1"
     CT_STOP_DATE=`CT_DoDate +%s%N`
     CT_STOP_DATE_HUMAN=`CT_DoDate +%Y%m%d.%H%M%S`
-    CT_DoLog INFO "Build completed at ${CT_STOP_DATE_HUMAN}"
+    CT_DoLog "${level:-INFO}" "Build completed at ${CT_STOP_DATE_HUMAN}"
     elapsed=$((CT_STOP_DATE-CT_STAR_DATE))
     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 ${1:-INFO} "(elapsed: ${elapsed_min}:${elapsed_sec}.${elapsed_csec})"
+    CT_DoLog ${level:-INFO} "(elapsed: ${elapsed_min}:${elapsed_sec}.${elapsed_csec})"
 }
 
 # Abort the execution with an error message