diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 10 |
1 files 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 |