From 8734a8fe7d9c610b69e69f529d704aa1db5729a5 Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Sun, 7 Nov 2010 19:40:07 +0100 Subject: [PATCH] work around a bug in bash's implementation of "time" --- all | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/all b/all index 287dfdce..e750d9ae 100755 --- a/all +++ b/all @@ -339,11 +339,16 @@ mkzip0() zip -0y "$@" } +timewrapper() +{ + time -p "$@" +} + mirrorspeed() { # first result is to be ignored, but we use it to check status git ls-remote "$1" refs/heads/master >/dev/null 2>&1 || return 1 - time -p git ls-remote "$1" refs/heads/master 2>&1 >/dev/null | head -n 1 | cut -d ' ' -f 2 | tr -d . | sed 's,^0*,,' + timewrapper git ls-remote "$1" refs/heads/master 2>&1 >/dev/null | head -n 1 | cut -d ' ' -f 2 | tr -d . | sed 's,^0*,,' # unit: clock ticks (depends on what "time" returns } -- 2.39.2