diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index a4848d8243..1f26e0f470 100644 --- a/Makefile.in +++ b/Makefile.in @@ -181,7 +181,8 @@ uncommon.mk: $(srcdir)/common.mk sed 's/{\$$([^(){}]*)[^{}]*}//g' $< > $@ config.status: $(srcdir)/configure $(srcdir)/enc/Makefile.in - PWD= MINIRUBY="$(MINIRUBY)" $(SHELL) ./config.status --recheck + @PWD= MINIRUBY="$(MINIRUBY)"; set $(SHELL) ./config.status --recheck; \ + exec 3>&1; exit `exec 4>&1; { "$$@" 3>&- 4>&-; echo $$? 1>&4; } | fgrep -v '(cached)' 1>&3` $(srcdir)/configure: $(srcdir)/configure.in $(CHDIR) $(srcdir) && exec $(AUTOCONF) |