From 28395b0f973790065ecb9d22ae2226f426cc5f9c Mon Sep 17 00:00:00 2001 From: Christian Starkjohann Date: Mon, 9 Jan 2012 00:38:10 +0100 Subject: Remove refs/heads/ from current branch name --- mkdist.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'mkdist.sh') 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 -- cgit v1.2.3