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 /THANKS | |
parent | 223492f35025215f2ea07f61a75e53b96794e6ed (diff) | |
download | patches-abb6a0e0d18f39cabd84b118d52659e996137d6f.tar patches-abb6a0e0d18f39cabd84b118d52659e996137d6f.tar.gz |
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 'THANKS')
0 files changed, 0 insertions, 0 deletions