Remove refs/heads/ from current branch name

1 files changed, 1 insertions, 0 deletions

diff --git a/mkdist.sh b/mkdist.sh
index 8148442..c45e9da 100755
--- a/mkdist.sh
+++ b/mkdist.sh
@@ -28,6 +28,7 @@ if [ -n "$changes" ]; then
 fi
 
 branch="$(git symbolic-ref HEAD)"
+branch="${branch##refs/heads/}"
 if [ "$branch" != master ]; then
     echo "Warning: On branch $branch, not master! Type enter to continue anyway."
     read dummy