fixup! fixup! Fix versioning of .dmg filenames.

diff --git a/platform/osx/make_dmg.sh b/platform/osx/make_dmg.sh
index 3b4ff9b567aeaa6b788e42c47ae4f340a14d9e30..80205822a9637c44e5e76b6471e29a133439a46d 100644 (file)
--- a/platform/osx/make_dmg.sh
+++ b/platform/osx/make_dmg.sh
@@ -11,7 +11,7 @@ SYNTAX="make_dmg.sh <environment> <builddir> <apple-id> <apple-password> <arch1>
 version=$(git describe --tags --abbrev=0 --match=v2.*.* --exact-match $1 2> /dev/null)
 if [ "$?" != "0" ]; then
        # Otherwise use <branch>-<commit>
-    version="$(git name-rev --name-only HEAD)-$(git rev-parse --short HEAD)"
+       version="$(basename $(git name-rev --name-only HEAD))-$(git rev-parse --short HEAD)"
 fi
 
 # DMG size in megabytes