diff options
-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 |