From: Adam Sutton <dev@adamsutton.me.uk>
Date: Wed, 9 Jan 2013 21:42:09 +0000 (+0000)
Subject: make: add option to reconfigure with previous options.
X-Git-Tag: v3.5~133
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8be121f558604687675d15404a4517aeb6877efc;p=thirdparty%2Ftvheadend.git

make: add option to reconfigure with previous options.
---

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}