tweaks from Francois

diff --git a/configure.in b/configure.in
index 3f28b1ffaa80e2f09c3f1f2a53ee0e9992e8fa37..366e65e15bc8e1e4a43b0fb2abde3f392303a1f0 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -8,6 +8,7 @@ AC_PROG_YACC
 AC_PROG_CC
 AC_PROG_RANLIB
 AC_PROG_INSTALL
+AC_PROG_MAKE_SET
 AC_CONST
 AC_TYPE_SIZE_T
 AC_HEADER_STDC
@@ -19,4 +20,5 @@ case "$YACC" in
   ;;
 esac
 
-AC_OUTPUT(Makefile)
+AC_OUTPUT(Makefile,
+[test -z "$CONFIG_HEADERS" || echo timestamp > stamp-h])