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

5 files changed, 51 insertions, 0 deletions

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