diff --git a/Makefile b/Makefile index ffee659b..11e3a3d9 100644 --- a/Makefile +++ b/Makefile @@ -25,13 +25,15 @@ srcdir ?= . include Makefile.config Makefile.config: $(srcdir)/configure +ifeq ($(configure_options),) @echo "" @echo "Note: Calling ./configure with no command-line arguments. This is often fine," @echo " but if you want to specify any arguments (such as an alternate prefix" @echo " into which to install), call ./configure explicitly and then make again." @echo " See \"./configure --help\" for more details." @echo "" - ./configure +endif + $(srcdir)/configure $(configure_options) # Finally, include all of the Makefile.local fragments where all the # real work is done. diff --git a/configure b/configure index 157ecf39..bbf30cd5 100755 --- a/configure +++ b/configure @@ -529,8 +529,13 @@ cat > Makefile.config <