From b3ad9649bcee09230952730b0ed5578cdd6f01ac Mon Sep 17 00:00:00 2001 From: Wayne Davison Date: Tue, 11 Nov 2008 15:51:03 -0800 Subject: [PATCH] A "make reconfigure" doesn't stop if configure changes. --- Makefile.in | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/Makefile.in b/Makefile.in index be2235a0..48e159a6 100644 --- a/Makefile.in +++ b/Makefile.in @@ -140,9 +140,13 @@ configure.sh config.h.in: configure.in aclocal.m4 rm config.h.in.old; \ fi @if test -f configure.sh.old -o -f config.h.in.old; then \ - echo 'Configure files changed -- perhaps run:'; \ - echo ' make reconfigure'; \ - exit 1; \ + if test "$(MAKECMDGOALS)" = reconfigure; then \ + echo 'Configure files changed -- continuing with "make reconfigure".'; \ + else \ + echo 'Configure files changed -- perhaps run:'; \ + echo ' make reconfigure'; \ + exit 1; \ + fi \ fi reconfigure: configure.sh -- 2.34.1