diff options
| -rw-r--r-- | template/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/template/Makefile.in b/template/Makefile.in index b787615890..72e37b512a 100644 --- a/template/Makefile.in +++ b/template/Makefile.in @@ -359,8 +359,8 @@ uncommon.mk: $(srcdir)/common.mk sed 's/{\$$([^(){}]*)[^{}]*}//g' $< > $@ .PHONY: reconfig -reconfig-args = $(srcdir)/$(CONFIGURE) $(yes_silence:yes=-s) $(configure_args) -config.status-args = ./config.status $(yes_silence:yes=-s) --recheck +reconfig-args = $(srcdir)/$(CONFIGURE) $(yes_silence:yes=--silent) $(configure_args) +config.status-args = ./config.status $(yes_silence:yes=--silent) --recheck reconfig-exec-0 = test -t 1 && { : $${CONFIGURE_TTY=yes}; export CONFIGURE_TTY; }; exec 3>&1; exit `exec 4>&1; { "$$@" 3>&- 4>&-; echo $$? 1>&4; } | fgrep -v '(cached)' 1>&3 3>&- 4>&-` reconfig-exec-1 = set -x; "$$@" |