make: add option to reconfigure with previous options.

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)

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}