From ff908116efefc0c8926e2ce419e5de566201646a 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 9562a006..25548854 100644 --- a/Makefile.in +++ b/Makefile.in @@ -161,8 +161,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.47.3