diff options
Diffstat (limited to 'ctime')
| -rw-r--r-- | ctime/all.do | 15 | ||||
| -rw-r--r-- | ctime/target.do | 3 |
2 files changed, 18 insertions, 0 deletions
diff --git a/ctime/all.do b/ctime/all.do new file mode 100644 index 0000000..7b46a6c --- /dev/null +++ b/ctime/all.do @@ -0,0 +1,15 @@ +#!/bin/sh +# When ctime is manipulated, the target should be rebuilt. + +:>source +chmod a-x source +redo-ifchange target +<target read timestamp_before + +sleep 1 + +chmod a+x source +redo-ifchange target +<target read timestamp_after + +test ${timestamp_after} -gt ${timestamp_before} diff --git a/ctime/target.do b/ctime/target.do new file mode 100644 index 0000000..7092ef7 --- /dev/null +++ b/ctime/target.do @@ -0,0 +1,3 @@ +#!/bin/sh +redo-ifchange source +date +%s |