chiark / gitweb /
break out sometest-run
[dgit-junk.git] / sometest-to-tested
index 484be9e..90b16a9 100755 (executable)
@@ -5,6 +5,6 @@ set -e
 set -o pipefail
 
 ${0%/*}/setting-tests-env-vars \
-time nice tests/using-intree tests/run-all
+${STTM_RUN_TEST- ${0%/*}/sometest-run }
 
 git push main HEAD:${STTM_TESTED-tested}