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=07faccad64f27dbbcf7b5b47752a8060c9e6af85;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}