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

5 files changed, 45 insertions, 0 deletions

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