diff options
| -rw-r--r-- | a→c,b→c/a.do | 4 | ||||
| -rw-r--r-- | a→c,b→c/all.do | 18 | ||||
| -rw-r--r-- | a→c,b→c/b.do | 4 | ||||
| -rw-r--r-- | a→c,b→c/c.do | 2 |
4 files changed, 28 insertions, 0 deletions
diff --git a/a→c,b→c/a.do b/a→c,b→c/a.do new file mode 100644 index 0000000..d657be5 --- /dev/null +++ b/a→c,b→c/a.do @@ -0,0 +1,4 @@ +#!/bin/sh +redo-ifchange c +sleep 1 +date +%s diff --git a/a→c,b→c/all.do b/a→c,b→c/all.do new file mode 100644 index 0000000..4e66375 --- /dev/null +++ b/a→c,b→c/all.do @@ -0,0 +1,18 @@ +#!/bin/sh +redo-ifchange a b + +read a <a +read b <b +read c <c + +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 diff --git a/a→c,b→c/b.do b/a→c,b→c/b.do new file mode 100644 index 0000000..d657be5 --- /dev/null +++ b/a→c,b→c/b.do @@ -0,0 +1,4 @@ +#!/bin/sh +redo-ifchange c +sleep 1 +date +%s diff --git a/a→c,b→c/c.do b/a→c,b→c/c.do new file mode 100644 index 0000000..e3dfe3b --- /dev/null +++ b/a→c,b→c/c.do @@ -0,0 +1,2 @@ +#!/bin/sh +date +%s |