diff options
author | Michael Palimaka <kensington@gentoo.org> | 2017-03-13 23:07:44 +1100 |
---|---|---|
committer | Michael Palimaka <kensington@gentoo.org> | 2017-03-13 23:11:12 +1100 |
commit | f9796d94cd5f39de9f8dce9008f8565b8a43e0da (patch) | |
tree | 8eb0ec7e676b03290de23fd7fea977fd909cf75f | |
parent | media-libs/harfbuzz: Removed old. (diff) | |
download | gentoo-f9796d94cd5f39de9f8dce9008f8565b8a43e0da.tar.gz gentoo-f9796d94cd5f39de9f8dce9008f8565b8a43e0da.tar.bz2 gentoo-f9796d94cd5f39de9f8dce9008f8565b8a43e0da.zip |
profiles: mask =dev-util/cmake-3.7.2-r10 for testing
-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 08ef04e1749b..13f73fc44924 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# Michael Palimaka <kensington@gentoo.org> (13 Mar 2017) +# Testing x32 patch backports from 3.9 +=dev-util/cmake-3.7.2-r10 + # David Seifert <soap@gentoo.org> (12 Mar 2017) # Bundles half of glibc, unmaintained upstream, # not really necessary anymore with 64-bit flash |