# HG changeset patch
# User Chris Cannam
# Date 1499691884 -3600
# Node ID d6d7c74c7eb7b48dc27aaff20f5ca05848b85076
# Parent  b693b9218f663325d2d510025a88011cbc41c7fb# Parent  76872ffc03a3a74ece75dffae8c1fbeb6a4ed3e1
Merge from branch "vext"

diff -r 76872ffc03a3 -r d6d7c74c7eb7 deploy/osx/deploy.sh
--- 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