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 /ctime/all.do | |
parent | 978ee7c1161ddbee199c449cd5a93d6fd3881cb4 (diff) |
Diffstat (limited to 'ctime/all.do')
-rw-r--r-- | ctime/all.do | 15 |
1 files changed, 15 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} |