aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xmkdist.sh1
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