From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 26 Aug 2018 01:25:00 +0000 (+0100)
Subject: add invocation of time
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=b3baf3299e6163ec5eb702d672e71f738047539d;p=dgit-junk.git

add invocation of time
---

diff --git a/sometest-to-tested b/sometest-to-tested
index edab7d8..8048e10 100755
--- a/sometest-to-tested
+++ b/sometest-to-tested
@@ -6,5 +6,5 @@ set -o pipefail
 
 rm -rf tests/tmp
 export DGIT_TEST_RUN_PFX=eatmydata
-nice tests/using-intree tests/run-all
+time nice tests/using-intree tests/run-all
 git push main HEAD:${STTM_TESTED-tested}