# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1180468581 0
# Node ID 1761c8b3f415ad9a70aa4538718bac609733defe
# Parent  27a0abfd46d1006af579ca3be8d04544e8fc3f52
Small fix in the log level when dumping the last messages (elapsed time).

diff -r 27a0abfd46d1 -r 1761c8b3f415 scripts/functions
--- a/scripts/functions	Tue May 29 19:30:38 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