diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-01-24 16:45:44 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-24 16:45:44 +0000 |
commit | b0fd0bc5c186e99078ed8d07146e8c14f1089639 (patch) | |
tree | 5567654e1937500080d1c90411624ab268d27795 /profiles/base | |
parent | 1804d2ae908b26fe4e3d3a38646c7d6ffa733d92 (diff) |
gentoo auto-resync : 24:01:2024 - 16:45:44
Diffstat (limited to 'profiles/base')
-rw-r--r-- | profiles/base/package.use.mask | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index b79dea91f2cb..b7c675e37c44 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -6,6 +6,17 @@ # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. +# Michael Orlitzky <mjo@gentoo.org> (2024-01-24) +# A missing "-o pipefail" in the gap-pkg eclass caused me to +# miss a few crashes in dev-gap packages when GAP itself is +# built with kernel debugging enabled. These may not be the +# only problems but it's hard to tell because they cascade: +# +# * https://github.com/frankluebeck/EDIM/issues/24 +# * https://github.com/gap-packages/io/issues/122 +# +sci-mathematics/gap debug + # Alfredo Tupone <tupone@gentoo.org> (2024-01-20) # Not working, bug #890756 sci-mathematics/why3-for-spark doc |