summaryrefslogtreecommitdiff
path: root/ctime/all.do
diff options
context:
space:
mode:
authorNils Dagsson Moskopp <nils@dieweltistgarnichtso.net>2019-10-02 02:43:45 +0200
committerNils Dagsson Moskopp <nils@dieweltistgarnichtso.net>2019-10-02 02:43:45 +0200
commitd640996ed6e06ee423d534f6a24fc6c247f29290 (patch)
tree211caa9e80e58bf86666146c024906cee38bdc6c /ctime/all.do
parent978ee7c1161ddbee199c449cd5a93d6fd3881cb4 (diff)
+ add test case for ctimeHEADmaster
Diffstat (limited to 'ctime/all.do')
-rw-r--r--ctime/all.do15
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}