Release script bugfix

2017-09-11 20:11:06 -07:00
parent e68872ba84
commit dc50ebb889
1 changed files with 1 additions and 1 deletions
@@ -9,7 +9,7 @@ BUILDDIR=$(realpath $DIR)/build
 # Ensure we're on the master branch
 check_branch() {
    curr_branch=$(git rev-parse --abbrev-ref HEAD)
-    if $curr_branch != "master"
+    if [ $curr_branch != "master" ]
    then
 	echo "Not on master branch."
 	exit 1