From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 8 Dec 2019 02:07:02 +0000 (+0000)
Subject: parallel bisect scripts: ad-hoc
X-Git-Tag: v0.6.0~31
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=secnet.git;a=commitdiff_plain;h=05c5a203b95e9499b7e3e726c700479cf24f70fe

parallel bisect scripts: ad-hoc

This is as I just used to bisect a P(1/256) bug.

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

diff --git a/parallel-test.make b/parallel-test.make
new file mode 100644
index 0000000..17c190a
--- /dev/null
+++ b/parallel-test.make
@@ -0,0 +1,12 @@
+
+# usage
+#  ../parallel-bisect.sh
+
+DIRS := $(wildcard d.*)
+
+TARGETS := $(addsuffix /done, $(DIRS))
+
+all: $(TARGETS)
+
+%/done:
+	set -e; SECNET_TEST_BUILDDIR=$(PWD)/$* ./stest/t-nonnego-oo
diff --git a/parallel-test.sh b/parallel-test.sh
new file mode 100755
index 0000000..4967f96
--- /dev/null
+++ b/parallel-test.sh
@@ -0,0 +1,23 @@
+#!/bin/sh
+
+# usage
+#  ../parallel-bisect.sh
+#
+# There should be subdirectories d.N for N=1..20
+# which are build trees of the current secnet.
+
+set -ex
+cd d.1
+make -j4 clean
+make -j4 stest/d-nonnego-oo/ok
+cd ..
+for f in d.*; do
+    ln d.1/secnet $f/secnet.new
+    rm $f/secnet
+    mv $f/secnet.new $f/secnet
+done
+for x in `seq 1 500`; do
+    echo $x
+    make -j -f ${0%/*}/parallel-test.make
+done
+echo ok