X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit-junk.git;a=blobdiff_plain;f=sometest-to-tested;fp=sometest-to-tested;h=90b16a9c6119866a05c59bf8c5fc9d01b004c0cb;hp=484be9ed86e4a1475157361ec5788572586b4fa6;hb=8afe37640ca54e9b4efb0a93453dc445062bbf90;hpb=14487f18a07a68935eeb45407fb16ff79ca6d312 diff --git a/sometest-to-tested b/sometest-to-tested index 484be9e..90b16a9 100755 --- a/sometest-to-tested +++ b/sometest-to-tested @@ -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}