diff options
Diffstat (limited to 'a→b,a→c,b→c')
-rw-r--r-- | a→b,a→c,b→c/a.do | 4 | ||||
-rw-r--r-- | a→b,a→c,b→c/all.do | 18 | ||||
-rw-r--r-- | a→b,a→c,b→c/b.do | 2 | ||||
-rw-r--r-- | a→b,a→c,b→c/c.do | 2 |
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 |