diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2018-03-11 13:26:08 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-03-14 15:27:47 -0700 |
commit | a363f981ecf738979287882787b7323b9c7c6bfe (patch) | |
tree | 1abd34ea6cd9a387fa6c962fc0fbb7a22bb459ea /ci/run-static-analysis.sh | |
parent | configure: fix a regression in PCRE v1 detection (diff) | |
download | tgif-a363f981ecf738979287882787b7323b9c7c6bfe.tar.xz |
configure: detect redundant --with-libpcre & --with-libpcre1
The --with-libpcre option is a synonym for the --with-libpcre1 flag,
but the configure script allowed for redundantly specifying both.
Nothing broke as a result of this, but it's confusing, so let's
disallow it.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/run-static-analysis.sh')
0 files changed, 0 insertions, 0 deletions