sometest-to-tested

   1 #!/bin/bash
   2 #
   3
   4 set -e
   5 set -o pipefail
   6
   7 rm -rf tests/tmp
   8 if [ "x$DGIT_SOMETEST_TMP" != x ]; then
   9         rm -rf "$DGIT_SOMETEST_TMP"
  10         mkdir "$DGIT_SOMETEST_TMP"
  11         ln -s "$DGIT_SOMETEST_TMP" tests/tmp
  12 fi
  13 export DGIT_TEST_RUN_PFX=eatmydata
  14 time nice tests/using-intree tests/run-all
  15 git push main HEAD:${STTM_TESTED-tested}