changeset 1733:d6d7c74c7eb7

Merge from branch "vext"
author Chris Cannam
date Mon, 10 Jul 2017 14:04:44 +0100
parents b693b9218f66 (diff) 76872ffc03a3 (current diff)
children 7f2808142abf
files .hgsub .hgsubstate
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/deploy/osx/deploy.sh	Mon Jul 10 13:46:20 2017 +0100
+++ b/deploy/osx/deploy.sh	Mon Jul 10 14:04:44 2017 +0100
@@ -75,6 +75,9 @@
 cp README README.OSC COPYING CHANGELOG "$volume/"
 cp -rp "$source" "$target"
 
+# update file timestamps so as to make the build date apparent
+find "$volume" -exec touch \{\} \;
+
 echo "Done"
 
 echo