Run config.status --recheck when configure changes.

8 years ago · f431e367ca
1 changed files with 3 additions and 0 deletions
--- a/Makefile.in
+++ b/Makefile.in
@ -859,3 +859,6 @@ install:
 # Rebuilding Makefile.
 Makefile: $(srcdir)/Makefile.in config.status
 	CONFIG_FILES=$@ CONFIG_HEADERS= $(SHELL) ./config.status
+
+config.status: $(srcdir)/configure
+	CONFIG_SHELL="$(SHELL)" $(SHELL) ./config.status --recheck