]> git.ipfire.org Git - thirdparty/git.git/commit - grep.c
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 870eea8) | patch
grep: under --debug, show whether PCRE JIT is enabled
authorBeat Bolli <dev+git@drbeat.li>
Sun, 18 Aug 2019 20:17:27 +0000 (22:17 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 Aug 2019 22:24:48 +0000 (15:24 -0700)
commitc581e4a7499b9e1089847dbbc057afbef1ed861e
tree265e977053958f165e2e14ca7e807c1f24d45354tree | snapshot
parent870eea81669bfff4333b37b11fedd870cd05fd90commit | diff
grep: under --debug, show whether PCRE JIT is enabled

This information is useful and not visible anywhere else, so show it.

Signed-off-by: Beat Bolli <dev+git@drbeat.li>
Suggested-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
grep.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.