changeset 381:5641917aea9c tonioni_experiment_july2014

Vary .dmg filename according to configuration
author Chris Cannam
date Mon, 21 Jul 2014 14:24:01 +0100
parents 49e38c6a8a47
children a5e63c0af39a
files deploy/osx/deploy.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/deploy/osx/deploy.sh	Mon Jul 21 14:23:51 2014 +0100
+++ b/deploy/osx/deploy.sh	Mon Jul 21 14:24:01 2014 +0100
@@ -73,7 +73,7 @@
 
 volume="$app"-"$version"
 target="$volume"/"$app".app
-dmg="$dmg"-"$version".dmg
+dmg="$dmg"-"$version$shext".dmg
 
 mkdir "$volume" || exit 1