diff options
| author | Nils Dagsson Moskopp <nils@dieweltistgarnichtso.net> | 2019-10-02 02:43:45 +0200 |
|---|---|---|
| committer | Nils Dagsson Moskopp <nils@dieweltistgarnichtso.net> | 2019-10-02 02:43:45 +0200 |
| commit | d640996ed6e06ee423d534f6a24fc6c247f29290 (patch) | |
| tree | 211caa9e80e58bf86666146c024906cee38bdc6c | |
| parent | 978ee7c1161ddbee199c449cd5a93d6fd3881cb4 (diff) | |
| -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 |