diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-10-30 17:17:20 +0100 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-11-02 12:52:09 +0100 |
| commit | abb6a0e0d18f39cabd84b118d52659e996137d6f (patch) | |
| tree | 4193d482939385cddabda4c37832c740639f21ba /etc | |
| parent | 223492f35025215f2ea07f61a75e53b96794e6ed (diff) | |
gnu: git: Add PCRE support to "git grep".
* gnu/packages/version-control.scm (git)[inputs]: Add pcre2.
[arguments]: Add "USE_LIBPCRE2" to make-flags.
(git-minimal)[arguments]: Do not inherit "USE_LIBPCRE2" in make-flags.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions