diff options
| author | Michał Kiedrowicz <michal.kiedrowicz@gmail.com> | 2011-05-09 23:52:06 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-05-09 16:29:46 -0700 |
| commit | a119f91e57f23f89b1f9170613d517d62a91c97d (patch) | |
| tree | fd3f3134b9ee4703d674712145cd5be7c0f9b8df /userdiff.c | |
| parent | 63e7e9d8b6483fed555ebed1c79a4820b2ba2558 (diff) | |
| download | git-a119f91e57f23f89b1f9170613d517d62a91c97d.tar.gz | |
configure: Check for libpcre
This patch adds checks for libpcre to configure. By default libpcre is
disabled, --with-libpcre enables it (if it works).
Signed-off-by: Michał Kiedrowicz <michal.kiedrowicz@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'userdiff.c')
0 files changed, 0 insertions, 0 deletions