'configure' apparently doesn't bump the timestamp on config.h if it

[sgt/agedu] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index e4ebc99..30e061b 100644 (file)
--- 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