projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a91b113) | patch
configure: detect redundant --with-libpcre & --with-libpcre1
authorÆvar Arnfjörð Bjarmason <avarab@gmail.com>
Sun, 11 Mar 2018 13:26:08 +0000 (13:26 +0000)
committerJunio C Hamano <gitster@pobox.com>
Wed, 14 Mar 2018 22:27:47 +0000 (15:27 -0700)
commita363f981ecf738979287882787b7323b9c7c6bfe
tree1abd34ea6cd9a387fa6c962fc0fbb7a22bb459eatree | snapshot
parenta91b113320cbf6abeeb3cc8f39467d00d5516af8commit | diff
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>
configure.ac diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.