diff options
author | Beat Bolli <dev+git@drbeat.li> | 2019-07-22 20:19:23 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-07-23 10:36:09 -0700 |
commit | f00253278481ea7d1d7bf3127aba9b529da34009 (patch) | |
tree | 079e6b57772520663843539836d035552152600e /http.c | |
parent | Git 2.20.1 (diff) | |
download | tgif-f00253278481ea7d1d7bf3127aba9b529da34009.tar.xz |
grep: print the pcre2_jit_on value
When pcre2_jit_on is neither 1 nor 0, the BUG() call printed the value
of pcre1_jit_on.
Print the value of pcre2_jit_on instead.
Signed-off-by: Beat Bolli <dev+git@drbeat.li>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'http.c')
0 files changed, 0 insertions, 0 deletions