--- a/configure	Mon Oct 01 16:18:56 2018 +0100
+++ b/configure	Mon Oct 01 16:23:57 2018 +0100
@@ -127,6 +127,7 @@
 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