Remove v that snuck into DMG filenames.

diff --git a/platform/osx/make_dmg.sh b/platform/osx/make_dmg.sh
index bad257d78dcbfb15c5d2e36925a9387b2fc42066..faf42e6359b6cdc0e6b74f470786d420c2ec20c5 100644 (file)
--- a/platform/osx/make_dmg.sh
+++ b/platform/osx/make_dmg.sh
@@ -8,7 +8,7 @@ SYNTAX="make_dmg.sh <environment> <builddir> <apple-id> <apple-password> <arch1>
 # were found.
 
 # Use a tag if what we've built is exactly on one
-version=$(git describe --tags --abbrev=0 --match=v2.*.* --exact-match 2> /dev/null)
+version=$(git describe --tags --abbrev=0 --match=v2.*.* --exact-match 2> /dev/null | sed -e "s/^v//")
 if [ "$?" != "0" ]; then
        # Otherwise use <branch>-<commit>
        version="$(basename $(git name-rev --name-only HEAD))-$(git rev-parse --short HEAD)"