From: Uwe Köcher Date: Tue, 6 Oct 2015 07:36:26 +0000 (+0200) Subject: candi: work on some comments, reorded global timer start X-Git-Tag: v0.7~13^2~4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0c0b29a95b09b1063e7416afaa3d031d6070840a;p=candi.git candi: work on some comments, reorded global timer start --- diff --git a/candi.sh b/candi.sh index 45a6391..2f6b1e2 100755 --- a/candi.sh +++ b/candi.sh @@ -33,16 +33,16 @@ if builtin command -v gdate > /dev/null; then else DATE_CMD=$(which date) fi +# Start global timer +TIC_GLOBAL="$(${DATE_CMD} +%s%N)" +# Check if the curl download is available if builtin command -v curl > /dev/null; then CURL_DOWNLOADER_AVAILABLE=true else CURL_DOWNLOADER_AVAILABLE=false fi -# Start global timer -TIC_GLOBAL="$(${DATE_CMD} +%s%N)" - # Colours for progress and error reporting BAD="\033[1;31m" GOOD="\033[1;32m"