diff options
| author | Philip Sequeira <phsequei@gmail.com> | 2019-12-10 20:59:23 -0500 |
|---|---|---|
| committer | wm4 <1387750+wm4@users.noreply.github.com> | 2019-12-15 14:17:00 +0100 |
| commit | a921c0628ecaa38a40b06280ef89be3e1f64d457 (patch) | |
| tree | f144d67d639ddebb54195b2755ac619306888c19 /DOCS/contribute.md | |
| parent | 698a6a27473dfd2826b2726ad535764f5ebc2623 (diff) | |
| download | mpv-a921c0628ecaa38a40b06280ef89be3e1f64d457.tar.bz2 mpv-a921c0628ecaa38a40b06280ef89be3e1f64d457.tar.xz | |
zsh completion: actually make pcre optional
It was supposed to be optional already, but I misunderstood how the
re_match_pcre option worked. If it's set, it will try to use PCRE
matching whether it's available or not (and blow up if it's not). So,
first try to load the module it'll use, and only set the option if that
works.
Fixes #7240.
Diffstat (limited to 'DOCS/contribute.md')
0 files changed, 0 insertions, 0 deletions