scripts/functions
changeset 100 d8bc0bf1bfa8
parent 96 aa1a9fbd6eb8
child 102 ce80474df80e
     1.1 --- a/scripts/functions	Thu May 17 16:22:51 2007 +0000
     1.2 +++ b/scripts/functions	Fri May 18 08:41:44 2007 +0000
     1.3 @@ -97,7 +97,7 @@
     1.4      elapsed_min=$((elapsed/(60*1000*1000*1000)))
     1.5      elapsed_sec=`printf "%02d" $(((elapsed%(60*1000*1000*1000))/(1000*1000*1000)))`
     1.6      elapsed_csec=`printf "%02d" $(((elapsed%(1000*1000*1000))/(10*1000*1000)))`
     1.7 -    CT_DoLog INFO "(elapsed: ${elapsed_min}:${elapsed_sec}.${elapsed_csec})"
     1.8 +    CT_DoLog ${1:-INFO} "(elapsed: ${elapsed_min}:${elapsed_sec}.${elapsed_csec})"
     1.9  }
    1.10  
    1.11  # Abort the execution with an error message