chiark / gitweb /
auditor wip before output
[dgit-junk.git] / sometest-to-tested
index 97d626c..1aa65a1 100755 (executable)
@@ -4,5 +4,6 @@
 set -e
 set -o pipefail
 
-nice tests/using-intree tests/run-all
+${0%/*}/setting-tests-env-vars \
+time nice tests/using-intree tests/run-all
 git push main HEAD:${STTM_TESTED-tested}