]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: work on some comments, reorded global timer start
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 6 Oct 2015 07:36:26 +0000 (09:36 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 6 Oct 2015 07:36:26 +0000 (09:36 +0200)
candi.sh

index 45a63916698d44ade3762cbbab098098758ec19e..2f6b1e23b8620b66bcdef893e97bcf4cbcb62c48 100755 (executable)
--- 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"

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.