From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
Date: Tue, 29 Mar 2011 18:01:42 +0000 (+0000)
Subject: 'configure' apparently doesn't bump the timestamp on config.h if it
X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/agedu/commitdiff_plain/1037e6859c407bcdc9352f638567e0b62b27bbfc

'configure' apparently doesn't bump the timestamp on config.h if it
didn't have to change it. Useful if you're constantly re-running
configure and want not to have to keep remaking everything, but when I
run configure _from_ my master makefile, it cuts the other way and I
want to avoid having the Makefile rerun configure every time. So
manually touch config.h after a successful run of configure.


git-svn-id: svn://svn.tartarus.org/sgt/agedu@9134 cda61777-01e9-0310-a592-d414129be87e
---

diff --git a/GNUmakefile b/GNUmakefile
index e4ebc99..30e061b 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -26,7 +26,7 @@ agedu: config.h $(AGEDU_OBJS)
 	gcc $(LFLAGS) -o agedu $(AGEDU_OBJS)
 
 config.h: configure
-	./configure -q
+	./configure -q && touch config.h
 	rm -f Makefile # we keep using _this_ Makefile
 
 configure: configure.ac