diff options
| author |   Lars Wendler <polynomial-c@gentoo.org> | 2021-03-16 14:36:08 +0100 |
|---|---|---|
| committer | Lars Wendler <polynomial-c@gentoo.org> | 2021-03-16 14:36:08 +0100 |
| commit | c77f3ab0d1692784b1b56cee0ef0805ed81f7d42 (patch) | |
| tree | d3fc533bdffe55d615bbcf99eea3f7d1f704ef36 /profiles/arch/ia64 | |
| parent | dev-vcs/git: Removed pcre-jit USE flag (diff) | |
| download | gentoo-c77f3ab0d1692784b1b56cee0ef0805ed81f7d42.tar.gz gentoo-c77f3ab0d1692784b1b56cee0ef0805ed81f7d42.tar.bz2 gentoo-c77f3ab0d1692784b1b56cee0ef0805ed81f7d42.zip | |
profiles: Masked dev-vcs/git[pcre] USE flag for some arches
Signed-off-by: Lars Wendler <polynomial-c@gentoo.org>
Diffstat (limited to 'profiles/arch/ia64')
| -rw-r--r-- | profiles/arch/ia64/package.use.mask | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/profiles/arch/ia64/package.use.mask b/profiles/arch/ia64/package.use.mask index e0d573c6fb4a..0960dd767c37 100644 --- a/profiles/arch/ia64/package.use.mask +++ b/profiles/arch/ia64/package.use.mask @@ -202,7 +202,9 @@ media-sound/pulseaudio native-headset # Robin H. Johnson <robbat2@gentoo.org> (2017-08-05) # Upstream Git is switching to PCRE2 w/ JIT. # This is not available on some arches, where a fallback to PCRE1 without JIT is used. -dev-vcs/git pcre-jit +# Since >=dev-vcs/git-2.31.0 pcre1 support has been dropped from git. +<dev-vcs/git-2.31.0 pcre-jit +>=dev-vcs/git-2.31.0 pcre # Sergei Trofimovich <slyfox@gentoo.org> (2017-07-20) # pulls in unkeyworded java |