set -o pipefail
rm -rf tests/tmp
+if [ "x$DGIT_SOMETEST_TMP" != x ]; then
+ rm -rf "$DGIT_SOMETEST_TMP"
+ mkdir "$DGIT_SOMETEST_TMP"
+ ln -s "$DGIT_SOMETEST_TMP" tests/tmp
+fi
export DGIT_TEST_RUN_PFX=eatmydata
time nice tests/using-intree tests/run-all
git push main HEAD:${STTM_TESTED-tested}