diff options
Diffstat (limited to 'profiles/hardened/linux/x86/10.0')
-rw-r--r-- | profiles/hardened/linux/x86/10.0/make.defaults | 9 | ||||
-rw-r--r-- | profiles/hardened/linux/x86/10.0/no-nptl/deprecated | 7 | ||||
-rw-r--r-- | profiles/hardened/linux/x86/10.0/no-nptl/parent | 1 |
3 files changed, 2 insertions, 15 deletions
diff --git a/profiles/hardened/linux/x86/10.0/make.defaults b/profiles/hardened/linux/x86/10.0/make.defaults index 5d1c665e..04740cd1 100644 --- a/profiles/hardened/linux/x86/10.0/make.defaults +++ b/profiles/hardened/linux/x86/10.0/make.defaults @@ -1,8 +1,3 @@ -# Copyright 1999-2008 Gentoo Foundation. +# Copyright 1999-2011 Gentoo Foundation. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/x86/10.0/make.defaults,v 1.1 2009/08/06 07:58:35 ssuominen Exp $ - -# STAGE1_USE does not stack -STAGE1_USE="hardened nptl nptlonly pic" - -USE="-unicode" +# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/x86/10.0/make.defaults,v 1.3 2011/11/17 01:14:27 jmbsvicetto Exp $ diff --git a/profiles/hardened/linux/x86/10.0/no-nptl/deprecated b/profiles/hardened/linux/x86/10.0/no-nptl/deprecated deleted file mode 100644 index 6073d83c..00000000 --- a/profiles/hardened/linux/x86/10.0/no-nptl/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/x86 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/x86 profile. -# Use 'eselect profile set <number>' to set a new /etc/make.profile symlink. -# -# Reference: http://www.gentoo.org/doc/en/gentoo-upgrading.xml -# See: "General instructions" in Section 3. "Profile updating instructions" diff --git a/profiles/hardened/linux/x86/10.0/no-nptl/parent b/profiles/hardened/linux/x86/10.0/no-nptl/parent deleted file mode 100644 index 67b5c970..00000000 --- a/profiles/hardened/linux/x86/10.0/no-nptl/parent +++ /dev/null @@ -1 +0,0 @@ -../../no-nptl |