From 407ea78a62178a70735910a4d0bba6c650dbb5bc Mon Sep 17 00:00:00 2001 From: Wayne Davison Date: Fri, 10 Apr 2009 16:24:12 -0700 Subject: [PATCH] Allow a "make reconfigure" to continue, even if the Makefile changes. --- Makefile.in | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 9c9a58e5..01769548 100644 --- 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 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 -- 2.34.1