diff options
| -rw-r--r-- | stamp/all.do | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stamp/all.do b/stamp/all.do index d091f5e..e0cd366 100644 --- a/stamp/all.do +++ b/stamp/all.do @@ -7,8 +7,8 @@ echo 2 > b redo-ifchange a read a2 <a -echo 1 > b -redo-ifchange b +echo 2 > b +redo-ifchange a read a3 <a if [ $a1 -lt $a2 ]; then |