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 <christophe@dinechin.org>
This commit is contained in:
parent
4df3ed83bd
commit
7f3cc616c7
|
@ -44,10 +44,10 @@ rm -f $SETUP
|
||||||
# DD='$(DESTDIR)'
|
# DD='$(DESTDIR)'
|
||||||
while [ $# -ne 0 ]; do
|
while [ $# -ne 0 ]; do
|
||||||
case "$1" in
|
case "$1" in
|
||||||
--build=*) output IGNORED_BUILD=${1/--build=/}/;;
|
--build=*) output CONFIGURE.build=${1/--build=/}/;;
|
||||||
--host=*) output IGNORED_HOST=${1/--host=/}/;;
|
--host=*) output CONFIGURE.host=${1/--host=/}/;;
|
||||||
--program-prefix=*) output IGNORED_PROGRAM_PREFIX=${1/--program-prefix=/}/;;
|
--program-prefix=*) output CONFIGURE.program-prefix=${1/--program-prefix=/}/;;
|
||||||
--disable-dependency-tracking) output IGNORED_DEPENDENCY_TRACKING=0;;
|
--disable-dependency-tracking) output CONFIGURE.disable-dependency-tracking=1;;
|
||||||
--prefix=*) output PREFIX=$DD${1/--prefix=/}/;;
|
--prefix=*) output PREFIX=$DD${1/--prefix=/}/;;
|
||||||
--exec-prefix=*) output PREFIX.exec=$DD${1/--exec-prefix=/}/;;
|
--exec-prefix=*) output PREFIX.exec=$DD${1/--exec-prefix=/}/;;
|
||||||
--bindir=*) output PREFIX.bin=$DD${1/--bindir=/}/;;
|
--bindir=*) output PREFIX.bin=$DD${1/--bindir=/}/;;
|
||||||
|
|
Loading…
Reference in New Issue