From 47f50eebadc9efebf605ab9d1fbedb411ced183f Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 8 Apr 2018 17:49:02 +0300 Subject: [PATCH] Use GNU date's %N if available GNU date was innocent of any wrong doing. Mea culpa. --- build.sh | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/build.sh b/build.sh index 68f6caf..510d119 100755 --- a/build.sh +++ b/build.sh @@ -5,19 +5,20 @@ vecho=${vecho-:} command -v shasum >/dev/null && alias sum=shasum -date --version | grep -q "GNU date with working +%N" && { - now() { date +%N; } - scl=1000000000.0 +date --version | grep -q "GNU" && { + dfmt="%s%N" + scle=1000000000 } || { - now() { date +%s; } - scl=1 + dfmt="%s" + scle=1 } +now() { date +$dfmt; } tstart=$(now) partmsg() { test $? -eq 0 && msg="ok" || msg="ko" - echo "$msg $(echo "scale=3; ($(now) - $tstart) / $scl" | bc -l) sec" + echo "$msg $(echo "scale=3; ($(now) - $tstart) / $scle" | bc -l) sec" } die() { -- 2.11.4.GIT