+ a→b,a→c,b→c

4 files changed, 26 insertions, 0 deletions

diff --git a/a→b,a→c,b→c/a.do b/a→b,a→c,b→c/a.do
new file mode 100644
index 0000000..9899a19
--- /dev/null
+++ b/a→b,a→c,b→c/a.do
@@ -0,0 +1,4 @@
+#!/bin/sh
+redo-ifchange b c
+sleep 1
+date +%s
diff --git a/a→b,a→c,b→c/all.do b/a→b,a→c,b→c/all.do
new file mode 100644
index 0000000..13532e2
--- /dev/null
+++ b/a→b,a→c,b→c/all.do
@@ -0,0 +1,18 @@
+#!/bin/sh
+redo-ifchange a
+
+read a <a
+read b <b
+read c <c
+
+if [ $a -lt $b ]; then
+  echo 'FAIL: a < b' >&2
+else
+  echo 'PASS: a > b' >&2
+fi
+
+if [ $a -lt $c ]; then
+  echo 'FAIL: a < c' >&2
+else
+  echo 'PASS: a > c' >&2
+fi
diff --git a/a→b,a→c,b→c/b.do b/a→b,a→c,b→c/b.do
new file mode 100644
index 0000000..e3dfe3b
--- /dev/null
+++ b/a→b,a→c,b→c/b.do
@@ -0,0 +1,2 @@
+#!/bin/sh
+date +%s
diff --git a/a→b,a→c,b→c/c.do b/a→b,a→c,b→c/c.do
new file mode 100644
index 0000000..e3dfe3b
--- /dev/null
+++ b/a→b,a→c,b→c/c.do
@@ -0,0 +1,2 @@
+#!/bin/sh
+date +%s