From 7f3cc616c7cc97be879ab346be4c40f92de81e2d Mon Sep 17 00:00:00 2001 From: Christophe de Dinechin Date: Fri, 26 Nov 2021 16:16:35 +0100 Subject: [PATCH] configure: Replace `IGNORED` with `CONFIGURE` The values that are passed to the `configure` script and not immediately used by `make-it-quick` may still be useful to someone writing a derived makefile. Signed-off-by: Christophe de Dinechin --- configure | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/configure b/configure index 0d72ae3..9db6d82 100755 --- a/configure +++ b/configure @@ -44,10 +44,10 @@ rm -f $SETUP # DD='$(DESTDIR)' while [ $# -ne 0 ]; do case "$1" in - --build=*) output IGNORED_BUILD=${1/--build=/}/;; - --host=*) output IGNORED_HOST=${1/--host=/}/;; - --program-prefix=*) output IGNORED_PROGRAM_PREFIX=${1/--program-prefix=/}/;; - --disable-dependency-tracking) output IGNORED_DEPENDENCY_TRACKING=0;; + --build=*) output CONFIGURE.build=${1/--build=/}/;; + --host=*) output CONFIGURE.host=${1/--host=/}/;; + --program-prefix=*) output CONFIGURE.program-prefix=${1/--program-prefix=/}/;; + --disable-dependency-tracking) output CONFIGURE.disable-dependency-tracking=1;; --prefix=*) output PREFIX=$DD${1/--prefix=/}/;; --exec-prefix=*) output PREFIX.exec=$DD${1/--exec-prefix=/}/;; --bindir=*) output PREFIX.bin=$DD${1/--bindir=/}/;;