diff options
| author | Nils Dagsson Moskopp <nils@dieweltistgarnichtso.net> | 2014-09-25 14:01:51 +0200 |
|---|---|---|
| committer | Nils Dagsson Moskopp <nils@dieweltistgarnichtso.net> | 2014-09-25 14:01:51 +0200 |
| commit | a61d603425c05271b2cce93a3a99c4fda92061ad (patch) | |
| tree | 541f3dc792791a9f2166ff23516e47f325a5dec3 /force-redo/all.do | |
| parent | d7678e3c75c0fdb4df6d30d806faf0b9c37c917e (diff) | |
+ force-redo
Diffstat (limited to 'force-redo/all.do')
| -rw-r--r-- | force-redo/all.do | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/force-redo/all.do b/force-redo/all.do new file mode 100644 index 0000000..b67e6ed --- /dev/null +++ b/force-redo/all.do @@ -0,0 +1,12 @@ +#!/bin/sh +redo a +read a1 <a + +redo a +read a2 <a + +if [ $a1 -ge $a2 ]; then + echo 'FAIL: a1 >= a2' >&2 +else + echo 'PASS: a1 < a2' >&2 +fi |