diff options
author | 2007-12-26 21:33:58 +0000 | |
---|---|---|
committer | 2007-12-26 21:33:58 +0000 | |
commit | ab4f58b93db12d5138756d297970b0948bc3d318 (patch) | |
tree | eaa8a2a69a718aa5118b5dc6c58093fe709210fe /profiles | |
parent | Adding virtual/bootloader to our parent profile. (diff) | |
download | historical-ab4f58b93db12d5138756d297970b0948bc3d318.tar.gz historical-ab4f58b93db12d5138756d297970b0948bc3d318.tar.bz2 historical-ab4f58b93db12d5138756d297970b0948bc3d318.zip |
Define virtual/dev-manager in the parent profile, as almost every other profile is using udev nowadays.
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/hardened/virtuals | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/hardened/virtuals b/profiles/hardened/virtuals index 3f9b38dceeb7..c8815a250e86 100644 --- a/profiles/hardened/virtuals +++ b/profiles/hardened/virtuals @@ -1,8 +1,9 @@ # Copyright 1999-2005 Gentoo Foundation. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/virtuals,v 1.18 2007/12/26 21:26:36 phreak Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/virtuals,v 1.19 2007/12/26 21:33:58 phreak Exp $ virtual/alsa sys-kernel/hardened-sources virtual/bootloader sys-boot/grub +virtual/dev-manager sys-fs/udev virtual/linux-sources sys-kernel/hardened-sources virtual/os-headers sys-kernel/linux-headers |