fixup! Fix versioning of .dmg filenames.

diff --git a/platform/osx/make_dmg.sh b/platform/osx/make_dmg.sh
index ba0f060edda2814862671babe1cb65bf50cc3bd8..3b4ff9b567aeaa6b788e42c47ae4f340a14d9e30 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 rev-parse --abbrev-ref HEAD)-$(git rev-parse --short HEAD)"
+    version="$(git name-rev --name-only HEAD)-$(git rev-parse --short HEAD)"
 fi
 
 # DMG size in megabytes