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

This commit is contained in:
Wayne Davison committed 2009-04-10 16:24:12 -07:00
1 parent cb197514d9
commit 407ea78a62
1 file changed
+6 -2
+6 -2
View File
@@ -162,8 +162,12 @@ Makefile: Makefile.in config.status configure.sh config.h.in
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