diff deploy/osx/deploy.sh @ 381:5641917aea9c tonioni_experiment_july2014

Vary .dmg filename according to configuration
author Chris Cannam
date Mon, 21 Jul 2014 14:24:01 +0100
parents 948148da3a46
children
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