summaryrefslogtreecommitdiff
path: root/profiles/base
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-01-24 16:45:44 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-01-24 16:45:44 +0000
commitb0fd0bc5c186e99078ed8d07146e8c14f1089639 (patch)
tree5567654e1937500080d1c90411624ab268d27795 /profiles/base
parent1804d2ae908b26fe4e3d3a38646c7d6ffa733d92 (diff)
gentoo auto-resync : 24:01:2024 - 16:45:44
Diffstat (limited to 'profiles/base')
-rw-r--r--profiles/base/package.use.mask11
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