summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2025-01-07 10:50:33 -0500
committerTavian Barnes <tavianator@tavianator.com>2025-01-07 10:50:33 -0500
commit44dc45316dff757eafbcd1e09f4c52a285ff9738 (patch)
tree628b4a1e38c122f67e5142438462734999fe98eb
parent73ce1ab5a886193e8fbbe2a3697b5009162b2531 (diff)
downloadbfs-44dc45316dff757eafbcd1e09f4c52a285ff9738.tar.xz
configure: Suggest --enable-release over RELEASE=y etc.
-rwxr-xr-xconfigure19
1 files changed, 19 insertions, 0 deletions
diff --git a/configure b/configure
index 5218e73..a9824c1 100755
--- a/configure
+++ b/configure
@@ -189,6 +189,25 @@ for arg; do
MAKE="$value"
;;
+ # Warn about MAKE variables that have documented configure flags
+ RELEASE=*|ASAN=*|LSAN=*|MSAN=*|TSAN=*|UBSAN=*|LINT=*|GCOV=*)
+ name=$(printf '%s' "$NAME" | tr 'A-Z_' 'a-z-')
+ printf 'warning: "%s" is deprecated; use --enable-%s\n' "$arg" "$name" >&2
+ set -- "$@" "$arg"
+ ;;
+
+ PREFIX=*|MANDIR=*|VERSION=*)
+ name=$(printf '%s' "$NAME" | tr 'A-Z_' 'a-z-')
+ printf 'warning: "%s" is deprecated; use --%s=%s\n' "$arg" "$name" "$value" >&2
+ set -- "$@" "$arg"
+ ;;
+
+ WITH_*=*)
+ name=$(printf '%s' "$NAME" | tr 'A-Z_' 'a-z-')
+ printf 'warning: "%s" is deprecated; use --%s\n' "$arg" "$name" >&2
+ set -- "$@" "$arg"
+ ;;
+
# make flag (-j2) or variable (CC=clang)
-*|*=*)
set -- "$@" "$arg"