From a39a4fbcbacf2a4c979f1d54d132ac45fbf6cc2d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 6 Dec 2019 23:21:34 +0000
Subject: [PATCH] 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>
---
 pretest-to-tested | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 pretest-to-tested

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
-- 
2.30.2