diff options
Diffstat (limited to 'profiles/base/use.mask')
| -rw-r--r-- | profiles/base/use.mask | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/profiles/base/use.mask b/profiles/base/use.mask index 9f45878b13b1..232b2f1281a2 100644 --- a/profiles/base/use.mask +++ b/profiles/base/use.mask @@ -19,7 +19,7 @@ php7-2 # Nothing depends on those ROS messages. dev-ros/geneus # is half broken in our setup where it looks for packages # on the filesystem and causes build failures. -# See e.g. https://bugs.gentoo.org/741076 +# See e.g. bug #741076 ros_messages_eus # Hans de Graaff <graaff@gentoo.org> (2020-06-13) @@ -120,11 +120,3 @@ prelude # Diego Elio Pettenò <flameeyes@gentoo.org> (2012-08-27) # netlink is a Linux-specific interface netlink - -# Andreas K. Hüttel <dilfridge@gentoo.org> (2019-09-18) -# mask removed ABI_RISCV flags so they do not trigger rebuild -# in emerge -abi_riscv_lp64 -abi_riscv_lp64d -abi_riscv_ilp32 -abi_riscv_ilp32d |