diff options
Diffstat (limited to 'mkdist.sh')
-rwxr-xr-x | mkdist.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |