From b289a50fc5cdbe28a7c058754287650b4ef3c02b Mon Sep 17 00:00:00 2001
From: Mark Adler <madler@alumni.caltech.edu>
Date: Tue, 23 Jan 2024 10:59:41 -0800
Subject: Ignore unknown options in configure.

---
 configure | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index c55098a..437fcaa 100755
--- a/configure
+++ b/configure
@@ -91,6 +91,7 @@ warn=0
 debug=0
 address=0
 memory=0
+unknown=0
 old_cc="$CC"
 old_cflags="$CFLAGS"
 OBJC='$(OBJZ) $(OBJG)'
@@ -144,12 +145,12 @@ case "$1" in
     --sanitize) address=1; shift ;;
     --address) address=1; shift ;;
     --memory) memory=1; shift ;;
-    *)
-      echo "unknown option: $1" | tee -a configure.log
-      echo "$0 --help for help" | tee -a configure.log
-      leave 1;;
+    *) unknown=1; echo "unknown option ignored: $1" | tee -a configure.log; shift;;
     esac
 done
+if test $unknown -eq 1; then
+  echo "$0 --help for help" | tee -a configure.log
+fi
 
 # temporary file name
 test=ztest$$
-- 
cgit v1.2.3-55-g6feb