chiark / gitweb /
auditor wip before output
[dgit-junk.git] / sometest-to-tested
index 28f1edab631836d532595639da1e370a7e570a75..1aa65a11aa15e5f86f4c20b5425df933c873c1d2 100755 (executable)
@@ -4,6 +4,6 @@
 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}