1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index d861ea3e..4307997c 100755
--- a/configure
+++ b/configure
@@ -127,6 +127,7 @@ while [ -n "$1" ]
 do
    value=$(echo "$1" | sed 's/[^=]*.\(.*\)/\1/')
    key=$(echo "$1" | sed 's/=.*//')
+   # shellcheck disable=SC2088
    if echo "$value" | grep "~" >/dev/null 2>/dev/null
    then
       echo