From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 6 Dec 2019 23:21:34 +0000 (+0000)
Subject: pretest-to-tested: Script for helping run comprehensive-test
X-Git-Tag: v0.6.0~260
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a39a4fbcbacf2a4c979f1d54d132ac45fbf6cc2d;p=secnet.git

pretest-to-tested: Script for helping run comprehensive-test

This runs it on every commit between tested and pretest, advancing
tested as it goes.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/pretest-to-tested b/pretest-to-tested
new file mode 100755
index 0000000..7166486
--- /dev/null
+++ b/pretest-to-tested
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# best to run this in a git-worktree
+# example runes in main tree:
+#  git-branch -f pretest && git-branch -f tested `git-merge-base HEAD tested` && git-checkout wip
+
+set -e
+while true; do
+    next=$(git-rev-list --reverse tested..pretest | head -n1)
+    if [ "x$next" = x ]; then break; fi
+    git checkout "$next"
+    ./comprehensive-test
+    git push . HEAD:tested
+done