X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit-junk.git;a=blobdiff_plain;f=sometest-to-tested;h=484be9ed86e4a1475157361ec5788572586b4fa6;hp=28f1edab631836d532595639da1e370a7e570a75;hb=d07325a664a3c6304e167a9a465c53e8256130c7;hpb=dbd443ed0cf947aaaa89a758d32051b477538b9d diff --git a/sometest-to-tested b/sometest-to-tested index 28f1eda..484be9e 100755 --- a/sometest-to-tested +++ b/sometest-to-tested @@ -4,6 +4,7 @@ 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}