# HG changeset patch
# User Chris Cannam
# Date 1405949041 -3600
# Node ID 5641917aea9c102e67dc1b4a1f9b7d473340c334
# Parent  49e38c6a8a47998e075e2bd6a790771a96ecb50d
Vary .dmg filename according to configuration

diff -r 49e38c6a8a47 -r 5641917aea9c deploy/osx/deploy.sh
--- 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