diff options
-rw-r--r-- | configure.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 55d14e6..c081c22 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 " |