1 files changed, 18 insertions, 0 deletions
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