configure
changeset 11970 4c5087ce3c2e
parent 11969 5e3aee9b6adc
child 12574 e6f68b6c87e1
child 12829 ee5fcfef5200
--- a/configure	Mon Nov 29 17:40:02 2021 +0100
+++ b/configure	Mon Nov 29 17:40:40 2021 +0100
@@ -108,7 +108,8 @@
    exit 1
 }
 
-# shellcheck disable=SC2039
+# COMPAT SC2039 has been phased out, remove in the future
+# shellcheck disable=SC2039,SC3037
 case $(echo -n x) in
 -n*) echo_n_flag='';;
 *)   echo_n_flag='-n';;