[DTrace-devel] [PATCH] configure: add support for --disable-option-checking
Kris Van Hees
kris.van.hees at oracle.com
Tue Feb 17 17:01:50 UTC 2026
Signed-off-by: Kris Van Hees <kris.van.hees at oracle.com>
---
configure | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/configure b/configure
index fadac05e..f10c7f4d 100755
--- a/configure
+++ b/configure
@@ -123,6 +123,11 @@ rm -rf build/.config.new build/.config-vars.mk.new
echo 'override CONFIGURED_VARS=' > build/.config-vars.mk.new
trap 'rm -rf build/.config.new build/.config-vars.mk.new' ERR
+# Should we report unknown --disable/enable/with/without-* options?
+if echo " $@ " | grep ' --disable-option-checking ' &>/dev/null; then
+ no_check_opts=t
+fi
+
for option in "$@"; do
case "$option" in
--help) help; exit 1;;
@@ -174,6 +179,11 @@ for option in "$@"; do
HAVE_BPFMASM=*) write_config_var BPFMASM "$option";;
--disable-dependency-tracking) write_make_var WITHOUT_DEPENDENCIES "y";;
--enable-dependency-tracking) write_make_var WITHOUT_DEPENDENCIES "n";;
+ --disable-*|--enable-*|--with-*|--without-*)
+ if [[ -z $no_check_opts ]]; then
+ echo "Unknown option $option" >&2
+ exit 1
+ fi;;
*) echo "Unknown option $option" >&2
exit 1;;
esac
--
2.51.0
More information about the DTrace-devel
mailing list