Fixed wrong configure option

This commit is contained in:
Nobuyoshi Nakada 2020-12-29 17:49:57 +09:00
parent 47a1f5ff73
commit 208192fdb6
No known key found for this signature in database
GPG Key ID: 7CD2805BFA3770C6

View File

@ -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; "$$@"