diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2025-01-07 10:50:33 -0500 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2025-01-07 10:50:33 -0500 |
commit | 44dc45316dff757eafbcd1e09f4c52a285ff9738 (patch) | |
tree | 628b4a1e38c122f67e5142438462734999fe98eb /configure | |
parent | 73ce1ab5a886193e8fbbe2a3697b5009162b2531 (diff) | |
download | bfs-44dc45316dff757eafbcd1e09f4c52a285ff9738.tar.xz |
configure: Suggest --enable-release over RELEASE=y etc.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -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" |