Fix typo in release.sh (#1280)

This commit is contained in:
Barry B
2018-05-01 15:28:59 -04:00
committed by Erik Demaine
parent bd7a977404
commit 4687aa9ec3

View File

@@ -79,7 +79,7 @@ if ! command npm owner ls katex | grep -q "^$(command npm whoami) <"; then
: $((++INSANE)) : $((++INSANE))
fi fi
if [[ $BRANCH != @(v*|master) ]]; then if [[ $BRANCH != @(v*|master) ]]; then
echo "'$BRANCH' does not like a release branch to me" >&2 echo "'$BRANCH' does not look like a release branch to me" >&2
: $((++INSANE)) : $((++INSANE))
fi fi