From c99aede6b480a24a94897ef4ec635b985f59934f Mon Sep 17 00:00:00 2001
From: John Eismeier <john.eismeier@gmail.com>
Date: Tue, 3 Oct 2017 15:15:40 +0000
Subject: [PATCH] Update lint-doc.sh

---
 scripts/lint-doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh
index e5242fee32b18f..64067e71bcd472 100755
--- a/scripts/lint-doc.sh
+++ b/scripts/lint-doc.sh
@@ -5,7 +5,7 @@ cd "$(dirname "$0")/.."
 # Use long options (e.g. --header instead of -H) for curl examples in documentation.
 echo 'Checking for curl short options...'
 grep --extended-regexp --recursive --color=auto 'curl (.+ )?-[^- ].*' doc/ >/dev/null 2>&1
-if [ $? == 0 ]
+if [ $? -eq 0 ]
 then
   echo '✖ ERROR: Short options for curl should not be used in documentation!
          Use long options (e.g., --header instead of -H):' >&2
-- 
GitLab