diff options
author | Beat Bolli <dev+git@drbeat.li> | 2019-08-18 22:17:27 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-08-19 15:24:48 -0700 |
commit | c581e4a7499b9e1089847dbbc057afbef1ed861e (patch) | |
tree | 265e977053958f165e2e14ca7e807c1f24d45354 /t/helper | |
parent | grep: do not enter PCRE2_UTF mode on fixed matching (diff) | |
download | tgif-c581e4a7499b9e1089847dbbc057afbef1ed861e.tar.xz |
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>
Diffstat (limited to 't/helper')
0 files changed, 0 insertions, 0 deletions