taler-typescript-core

commit e0a55769190ada8b35be7a71b7b3e27c98cbc1cb
parent 1f15734ef02be33e4a4d8634ea6245c686b98781
Author: Florian Dold <dold@taler.net>
Date:   Sun,  9 Aug 2026 21:53:04 +0200

configure: tolerate unsupported variable assignments

Diffstat:
M
build-system/configure.sh
 | 
16
+++++++++++++++-

1 file changed, 15 insertions(+), 1 deletion(-)
diff --git a/build-system/configure.sh b/build-system/configure.sh
@@ -8,9 +8,10 @@ prefix=/usr/local
 
 usage() {
   cat <<EOF
-Usage: ./configure [--prefix=DIR]
+Usage: ./configure [--prefix=DIR] [VARIABLE=VALUE]...
 
 Configure the installation prefix (default: /usr/local).
+Unsupported build variables are ignored with a warning.
 EOF
 }
 
@@ -31,6 +32,19 @@ while test $# -gt 0; do
       usage
       exit 0
       ;;
+    *=*)
+      variable=${1%%=*}
+      case $variable in
+        ""|[!A-Za-z_]*|*[!A-Za-z0-9_]*)
+          echo "configure: unrecognized option '$1'" >&2
+          echo "Try './configure --help' for more information." >&2
+          exit 2
+          ;;
+        *)
+          echo "configure: WARNING: unsupported variable '$variable' is ignored" >&2
+          ;;
+      esac
+      ;;
     *)
       echo "configure: unrecognized option '$1'" >&2
       echo "Try './configure --help' for more information." >&2