chiark / gitweb /
add invocation of time
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Aug 2018 01:25:00 +0000 (02:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Aug 2018 01:25:00 +0000 (02:25 +0100)
sometest-to-tested

index edab7d84f126f9a0da21997c83677bf560781829..8048e105155d622ba20363dfb42fd0f33d628865 100755 (executable)
@@ -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}