diff options
Diffstat (limited to 'stamp/all.do')
-rw-r--r-- | stamp/all.do | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/stamp/all.do b/stamp/all.do new file mode 100644 index 0000000..d091f5e --- /dev/null +++ b/stamp/all.do @@ -0,0 +1,24 @@ +#!/bin/sh +echo 1 > b +redo-ifchange a +read a1 <a + +echo 2 > b +redo-ifchange a +read a2 <a + +echo 1 > b +redo-ifchange b +read a3 <a + +if [ $a1 -lt $a2 ]; then + echo 'PASS: a1 < a2' >&2 +else + echo 'FAIL: a1 > a2' >&2 +fi + +if [ $a2 -eq $a3 ]; then + echo 'PASS: a2 = a3' >&2 +else + echo 'FAIL: a2 != a3' >&2 +fi |