From 8be121f558604687675d15404a4517aeb6877efc Mon Sep 17 00:00:00 2001
From: Adam Sutton <dev@adamsutton.me.uk>
Date: Wed, 9 Jan 2013 21:42:09 +0000
Subject: [PATCH] make: add option to reconfigure with previous options.

---
 Makefile              | 6 +++++-
 support/configure.inc | 1 +
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index c42e63d5a..6f4e2ab32 100644
--- 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 0130880ca..6536fed60 100644
--- 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}
-- 
2.47.2