diff options
author | Lars Wendler <polynomial-c@gentoo.org> | 2016-10-27 09:42:16 +0200 |
---|---|---|
committer | Lars Wendler <polynomial-c@gentoo.org> | 2016-10-27 09:43:13 +0200 |
commit | ce6bcd4d8df5a78090fe7ca4adc3912fb3d065ef (patch) | |
tree | 2e71153fec2b1e711a31eee4ee280238388dfe28 /profiles | |
parent | dev-lang/fsharp: bump (diff) | |
download | gentoo-ce6bcd4d8df5a78090fe7ca4adc3912fb3d065ef.tar.gz gentoo-ce6bcd4d8df5a78090fe7ca4adc3912fb3d065ef.tar.bz2 gentoo-ce6bcd4d8df5a78090fe7ca4adc3912fb3d065ef.zip |
package.mask: Masked =sys-devel/flex-2.6.2 (bug #598186).
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 39761501cd21..fdd400996d2f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,10 @@ #--- END OF EXAMPLES --- +# Lars Wendler <polynomial-c@gentoo.org> (27 Oct 2016) +# Breaks build of some packages. See tracker bug #598186 +=sys-devel/flex-2.6.2 + # Craig Andrews <candrews@integralblue.com> (25 Oct 2016) # >=media-tv/kodi-17.0_alpha requires >=media-video/ffmpeg-3.0 # which is hard masked see #574788 |