diff options
author | Michał Górny <mgorny@gentoo.org> | 2021-09-16 15:45:03 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2021-09-16 15:45:03 +0200 |
commit | f387bf261fd16fbcd7dc960b8d95ab7128a4ac9a (patch) | |
tree | b395010d86b19757bb5f98efdaf1492cb8b87d24 /profiles | |
parent | package.mask: Fix date format (diff) | |
download | gentoo-f387bf261fd16fbcd7dc960b8d95ab7128a4ac9a.tar.gz gentoo-f387bf261fd16fbcd7dc960b8d95ab7128a4ac9a.tar.bz2 gentoo-f387bf261fd16fbcd7dc960b8d95ab7128a4ac9a.zip |
package.mask: Mask virtual/dist-kernel as well
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index c4e091785e34..3a024bdf1f02 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -45,6 +45,9 @@ ~sys-kernel/vanilla-kernel-5.13.17 ~sys-kernel/vanilla-kernel-5.10.65 ~sys-kernel/vanilla-kernel-5.4.146 +~virtual/dist-kernel-5.13.17 +~virtual/dist-kernel-5.10.65 +~virtual/dist-kernel-5.4.146 # Mart Raudsepp <leio@gentoo.org> (2021-09-15) # New major parallel-installable release which needs special care to not |