sometest-to-master

diff --git a/pretest-to-master b/pretest-to-master
index b09324112a2f5961b49f2e63f315ca6d18e9e81c..175bccca89aea11961a6c9551bab694a1527ffb7 100755 (executable)
--- a/pretest-to-master
+++ b/pretest-to-master
@@ -11,6 +11,5 @@ while read num rev; do
        echo >&2 ""
        echo >&2 "testing $num $rev"
        git checkout $rev
-       nice tests/using-intree tests/run-all
-       git push main HEAD:master
+       ${0%/*}/sometest-to-master
 done

diff --git a/sometest-to-master b/sometest-to-master
new file mode 100755 (executable)
index 0000000..962fd68
--- /dev/null
+++ b/sometest-to-master
@@ -0,0 +1,8 @@
+#!/bin/bash
+#
+
+set -e
+set -o pipefail
+
+nice tests/using-intree tests/run-all
+git push main HEAD:master