From 8a04cbe3c8e9f9c05d35d728002addde5710c15d Mon Sep 17 00:00:00 2001
From: Neil Alexander <neilalexander@users.noreply.github.com>
Date: Mon, 3 Dec 2018 17:49:03 +0000
Subject: [PATCH] Try to fix CircleCI shell error

---
 contrib/semver/version.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/semver/version.sh b/contrib/semver/version.sh
index 215753bb..6eeffc5f 100644
--- a/contrib/semver/version.sh
+++ b/contrib/semver/version.sh
@@ -31,7 +31,7 @@ MINOR=$(echo $TAG | cut -c 2- | cut -d "." -f 2)
 BRANCH=$(git rev-parse --abbrev-ref HEAD)
 
 # Output in the desired format
-if [ $PATCH == 0 ]; then
+if [ $PATCH = 0 ]; then
   if [ ! -z $FULL ]; then
     printf 'v%d.%d.0' "$MAJOR" "$MINOR"
   else