diff --git a/configure.in b/configure.in index 55d14e67..c081c229 100644 --- a/configure.in +++ b/configure.in @@ -81,6 +81,9 @@ else fi AC_OUTPUT(Makefile build.sh glob/Makefile) +# Makefile uses this timestamp file to know when to remake Makefile, +# build.sh, and glob/Makefile. +touch stamp-config dnl Local Variables: dnl comment-start: "dnl "