chiark / gitweb /
auditor wip before output
[dgit-junk.git] / sometest-to-tested
index 28f1eda..1aa65a1 100755 (executable)
@@ -4,6 +4,6 @@
 set -e
 set -o pipefail
 
 set -e
 set -o pipefail
 
-rm -rf tests/tmp
-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}
 git push main HEAD:${STTM_TESTED-tested}