Allow a "make reconfigure" to continue, even if the Makefile changes.

diff --git a/Makefile.in b/Makefile.in
index 9c9a58e..0176954 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -162,8 +162,12 @@ Makefile: Makefile.in config.status configure.sh config.h.in
            echo "Makefile is unchanged."; \
            rm Makefile.old; \
        else \
            echo "Makefile is unchanged."; \
            rm Makefile.old; \
        else \

-           echo "Makefile updated -- rerun your make command."; \
-           exit 1; \
+           if test "$(MAKECMDGOALS)" = reconfigure; then \
+               echo 'Continuing with "make reconfigure".'; \
+           else \
+               echo "Makefile updated -- rerun your make command."; \
+               exit 1; \
+           fi \

        fi
 
 proto: proto.h-tstamp
        fi
 
 proto: proto.h-tstamp