make: add option to reconfigure with previous options.

diff --git a/Makefile b/Makefile
index c42e63d5a56b94828eaa9f1d6d5a01b608229004..6f4e2ab32b29dd1cff3e46f0bf21c6e0fcaad9b1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -228,7 +228,7 @@ DEPS       = ${OBJS:%.o=%.d}
 all: ${PROG}
 
 # Special
-.PHONY:        clean distclean check_config
+.PHONY:        clean distclean check_config reconfigure
 
 # Check configure output is valid
 check_config:
@@ -236,6 +236,10 @@ check_config:
                || echo "./configure output is old, please re-run"
        @test $(CURDIR)/.config.mk -nt $(CURDIR)/configure
 
+# Recreate configuration
+reconfigure:
+       $(CURDIR)/configure $(CONFIGURE_ARGS)
+
 # Binary
 ${PROG}: check_config $(OBJS) $(ALLDEPS)
        $(CC) -o $@ $(OBJS) $(CFLAGS) $(LDFLAGS)

diff --git a/support/configure.inc b/support/configure.inc
index 0130880caac381aeda72f5d1dcc3d1294e571011..6536fed60c4278506ad0f164447f01337281200c 100644 (file)
--- a/support/configure.inc
+++ b/support/configure.inc
@@ -456,6 +456,7 @@ function write_config
        CONFIG_MK=${ROOTDIR}/.config.mk
   cat > ${CONFIG_MK} <<EOF
 # Automatically generated by configure - DO NOT EDIT!
+CONFIGURE_ARGS = ${BASH_ARGV[*]}
 ROOTDIR  ?= ${ROOTDIR}
 BUILDDIR ?= ${ROOTDIR}/build.${PLATFORM}
 OSENV    ?= ${OSENV}