From 6c11133848f3b6ad6a6ca53cbd439592ae7665a8 Mon Sep 17 00:00:00 2001
From: Carl Hetherington <cth@carlh.net>
Date: Sun, 16 Jan 2022 21:13:35 +0100
Subject: [PATCH] fixup! Fix versioning of .dmg filenames.

---
 platform/osx/make_dmg.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/osx/make_dmg.sh b/platform/osx/make_dmg.sh
index ba0f060ed..3b4ff9b56 100644
--- 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
-- 
2.30.2