diff options
Diffstat (limited to 'profiles/hardened')
64 files changed, 17 insertions, 243 deletions
diff --git a/profiles/hardened/linux/amd64/10.0/deprecated b/profiles/hardened/linux/amd64/10.0/deprecated deleted file mode 100644 index 23335761..00000000 --- a/profiles/hardened/linux/amd64/10.0/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/amd64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/amd64 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/amd64/10.0/desktop/deprecated b/profiles/hardened/linux/amd64/10.0/desktop/deprecated deleted file mode 100644 index 23335761..00000000 --- a/profiles/hardened/linux/amd64/10.0/desktop/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/amd64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/amd64 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/amd64/10.0/desktop/parent b/profiles/hardened/linux/amd64/10.0/desktop/parent deleted file mode 100644 index 322001d0..00000000 --- a/profiles/hardened/linux/amd64/10.0/desktop/parent +++ /dev/null @@ -1 +0,0 @@ -../../desktop diff --git a/profiles/hardened/linux/amd64/10.0/developer/deprecated b/profiles/hardened/linux/amd64/10.0/developer/deprecated deleted file mode 100644 index 23335761..00000000 --- a/profiles/hardened/linux/amd64/10.0/developer/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/amd64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/amd64 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/amd64/10.0/developer/parent b/profiles/hardened/linux/amd64/10.0/developer/parent deleted file mode 100644 index 0d57019c..00000000 --- a/profiles/hardened/linux/amd64/10.0/developer/parent +++ /dev/null @@ -1 +0,0 @@ -../../developer diff --git a/profiles/hardened/linux/amd64/10.0/no-multilib/deprecated b/profiles/hardened/linux/amd64/10.0/no-multilib/deprecated deleted file mode 100644 index 401f688e..00000000 --- a/profiles/hardened/linux/amd64/10.0/no-multilib/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/amd64/no-multilib -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/amd64/no-multilib 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/amd64/10.0/no-multilib/parent b/profiles/hardened/linux/amd64/10.0/no-multilib/parent deleted file mode 100644 index a49e4076..00000000 --- a/profiles/hardened/linux/amd64/10.0/no-multilib/parent +++ /dev/null @@ -1 +0,0 @@ -../../no-multilib diff --git a/profiles/hardened/linux/amd64/10.0/parent b/profiles/hardened/linux/amd64/10.0/parent deleted file mode 100644 index f3229c5b..00000000 --- a/profiles/hardened/linux/amd64/10.0/parent +++ /dev/null @@ -1 +0,0 @@ -.. diff --git a/profiles/hardened/linux/amd64/10.0/server/deprecated b/profiles/hardened/linux/amd64/10.0/server/deprecated deleted file mode 100644 index 23335761..00000000 --- a/profiles/hardened/linux/amd64/10.0/server/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/amd64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/amd64 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/amd64/10.0/server/parent b/profiles/hardened/linux/amd64/10.0/server/parent deleted file mode 100644 index 375b20d8..00000000 --- a/profiles/hardened/linux/amd64/10.0/server/parent +++ /dev/null @@ -1 +0,0 @@ -../../server diff --git a/profiles/hardened/linux/amd64/make.defaults b/profiles/hardened/linux/amd64/make.defaults index e5d55899..61b0126e 100644 --- a/profiles/hardened/linux/amd64/make.defaults +++ b/profiles/hardened/linux/amd64/make.defaults @@ -1,8 +1,10 @@ -# Copyright 1999-2011 Gentoo Foundation. +# Copyright 1999-2012 Gentoo Foundation. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/amd64/make.defaults,v 1.6 2011/11/17 01:14:26 jmbsvicetto Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/amd64/make.defaults,v 1.7 2012/06/16 11:44:13 jlec Exp $ USE="justify -pic" CFLAGS="-O2 -pipe" CXXFLAGS="${CFLAGS}" +FFLAGS="${CFLAGS}" +FCFLAGS="${CFLAGS}" diff --git a/profiles/hardened/linux/amd64/x32/parent b/profiles/hardened/linux/amd64/x32/parent new file mode 100644 index 00000000..382293d9 --- /dev/null +++ b/profiles/hardened/linux/amd64/x32/parent @@ -0,0 +1,3 @@ +.. +../../../../features/multilib/ +../../../../arch/amd64/x32/ diff --git a/profiles/hardened/linux/ia64/10.0/deprecated b/profiles/hardened/linux/ia64/10.0/deprecated deleted file mode 100644 index 336eef15..00000000 --- a/profiles/hardened/linux/ia64/10.0/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/ia64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/ia64 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/ia64/10.0/desktop/deprecated b/profiles/hardened/linux/ia64/10.0/desktop/deprecated deleted file mode 100644 index 336eef15..00000000 --- a/profiles/hardened/linux/ia64/10.0/desktop/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/ia64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/ia64 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/ia64/10.0/desktop/parent b/profiles/hardened/linux/ia64/10.0/desktop/parent deleted file mode 100644 index 322001d0..00000000 --- a/profiles/hardened/linux/ia64/10.0/desktop/parent +++ /dev/null @@ -1 +0,0 @@ -../../desktop diff --git a/profiles/hardened/linux/ia64/10.0/developer/deprecated b/profiles/hardened/linux/ia64/10.0/developer/deprecated deleted file mode 100644 index 336eef15..00000000 --- a/profiles/hardened/linux/ia64/10.0/developer/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/ia64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/ia64 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/ia64/10.0/developer/parent b/profiles/hardened/linux/ia64/10.0/developer/parent deleted file mode 100644 index 0d57019c..00000000 --- a/profiles/hardened/linux/ia64/10.0/developer/parent +++ /dev/null @@ -1 +0,0 @@ -../../developer diff --git a/profiles/hardened/linux/ia64/10.0/parent b/profiles/hardened/linux/ia64/10.0/parent deleted file mode 100644 index f3229c5b..00000000 --- a/profiles/hardened/linux/ia64/10.0/parent +++ /dev/null @@ -1 +0,0 @@ -.. diff --git a/profiles/hardened/linux/ia64/10.0/server/deprecated b/profiles/hardened/linux/ia64/10.0/server/deprecated deleted file mode 100644 index 336eef15..00000000 --- a/profiles/hardened/linux/ia64/10.0/server/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/ia64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/ia64 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/ia64/10.0/server/parent b/profiles/hardened/linux/ia64/10.0/server/parent deleted file mode 100644 index 375b20d8..00000000 --- a/profiles/hardened/linux/ia64/10.0/server/parent +++ /dev/null @@ -1 +0,0 @@ -../../server diff --git a/profiles/hardened/linux/make.defaults b/profiles/hardened/linux/make.defaults index c2c8b66f..03db4cca 100644 --- a/profiles/hardened/linux/make.defaults +++ b/profiles/hardened/linux/make.defaults @@ -1,9 +1,9 @@ # Copyright 1999-2012 Gentoo Foundation. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/make.defaults,v 1.15 2012/05/06 16:48:05 ssuominen Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/make.defaults,v 1.16 2012/06/18 23:51:21 zorry Exp $ # Jorge Manuel B. S. Vicetto <jmbsvicetto@gentoo.org> (16 Nov 2011) # Rename STAGE1_USE to BOOTSTRAP_USE and stack it to the parent value -BOOTSTRAP_USE="${BOOTSTRAP_USE} hardened pax_kernel pic -jit" +BOOTSTRAP_USE="${BOOTSTRAP_USE} hardened pax_kernel pic -jit -orc" -USE="-fortran hardened -ipv6 -jit pax_kernel pic urandom" +USE="-fortran hardened -ipv6 -jit pax_kernel pic urandom -orc" diff --git a/profiles/hardened/linux/powerpc/ppc32/10.0/deprecated b/profiles/hardened/linux/powerpc/ppc32/10.0/deprecated deleted file mode 100644 index 5f30e79c..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc32 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc32 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/powerpc/ppc32/10.0/desktop/deprecated b/profiles/hardened/linux/powerpc/ppc32/10.0/desktop/deprecated deleted file mode 100644 index 5f30e79c..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/desktop/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc32 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc32 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/powerpc/ppc32/10.0/desktop/parent b/profiles/hardened/linux/powerpc/ppc32/10.0/desktop/parent deleted file mode 100644 index 322001d0..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/desktop/parent +++ /dev/null @@ -1 +0,0 @@ -../../desktop diff --git a/profiles/hardened/linux/powerpc/ppc32/10.0/developer/deprecated b/profiles/hardened/linux/powerpc/ppc32/10.0/developer/deprecated deleted file mode 100644 index 5f30e79c..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/developer/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc32 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc32 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/powerpc/ppc32/10.0/developer/parent b/profiles/hardened/linux/powerpc/ppc32/10.0/developer/parent deleted file mode 100644 index 0d57019c..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/developer/parent +++ /dev/null @@ -1 +0,0 @@ -../../developer diff --git a/profiles/hardened/linux/powerpc/ppc32/10.0/parent b/profiles/hardened/linux/powerpc/ppc32/10.0/parent deleted file mode 100644 index f3229c5b..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/parent +++ /dev/null @@ -1 +0,0 @@ -.. diff --git a/profiles/hardened/linux/powerpc/ppc32/10.0/server/deprecated b/profiles/hardened/linux/powerpc/ppc32/10.0/server/deprecated deleted file mode 100644 index 5f30e79c..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/server/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc32 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc32 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/powerpc/ppc32/10.0/server/parent b/profiles/hardened/linux/powerpc/ppc32/10.0/server/parent deleted file mode 100644 index 375b20d8..00000000 --- a/profiles/hardened/linux/powerpc/ppc32/10.0/server/parent +++ /dev/null @@ -1 +0,0 @@ -../../server diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/deprecated deleted file mode 100644 index b25f8f8c..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/32bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/32bit-userland 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/powerpc/ppc64/10.0/32bit-userland/desktop/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/desktop/deprecated deleted file mode 100644 index b25f8f8c..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/desktop/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/32bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/32bit-userland 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/powerpc/ppc64/10.0/32bit-userland/desktop/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/desktop/parent deleted file mode 100644 index 9390cd89..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/desktop/parent +++ /dev/null @@ -1 +0,0 @@ -../../../32bit-userland/desktop diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/developer/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/developer/deprecated deleted file mode 100644 index b25f8f8c..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/developer/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/32bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/32bit-userland 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/powerpc/ppc64/10.0/32bit-userland/developer/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/developer/parent deleted file mode 100644 index 739881d3..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/developer/parent +++ /dev/null @@ -1 +0,0 @@ -../../../32bit-userland/developer diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/parent deleted file mode 100644 index c7a73069..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/parent +++ /dev/null @@ -1 +0,0 @@ -../../32bit-userland diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/server/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/server/deprecated deleted file mode 100644 index b25f8f8c..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/server/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/32bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/32bit-userland 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/powerpc/ppc64/10.0/32bit-userland/server/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/server/parent deleted file mode 100644 index 557cf07e..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/32bit-userland/server/parent +++ /dev/null @@ -1 +0,0 @@ -../../../32bit-userland/server diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/deprecated deleted file mode 100644 index dc0e177e..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/64bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/64bit-userland 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/powerpc/ppc64/10.0/64bit-userland/desktop/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/desktop/deprecated deleted file mode 100644 index dc0e177e..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/desktop/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/64bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/64bit-userland 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/powerpc/ppc64/10.0/64bit-userland/desktop/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/desktop/parent deleted file mode 100644 index 15f582cb..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/desktop/parent +++ /dev/null @@ -1 +0,0 @@ -../../../64bit-userland/desktop diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/developer/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/developer/deprecated deleted file mode 100644 index dc0e177e..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/developer/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/64bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/64bit-userland 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/powerpc/ppc64/10.0/64bit-userland/developer/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/developer/parent deleted file mode 100644 index 87a3f75b..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/developer/parent +++ /dev/null @@ -1 +0,0 @@ -../../../64bit-userland/developer diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/parent deleted file mode 100644 index 675b3fbe..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/parent +++ /dev/null @@ -1 +0,0 @@ -../../64bit-userland diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/server/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/server/deprecated deleted file mode 100644 index dc0e177e..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/server/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64/64bit-userland -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64/64bit-userland 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/powerpc/ppc64/10.0/64bit-userland/server/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/server/parent deleted file mode 100644 index e4a49f12..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/64bit-userland/server/parent +++ /dev/null @@ -1 +0,0 @@ -../../../64bit-userland/server diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/deprecated deleted file mode 100644 index e2094fd6..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64 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/powerpc/ppc64/10.0/desktop/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/desktop/deprecated deleted file mode 100644 index e2094fd6..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/desktop/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64 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/powerpc/ppc64/10.0/desktop/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/desktop/parent deleted file mode 100644 index 322001d0..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/desktop/parent +++ /dev/null @@ -1 +0,0 @@ -../../desktop diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/developer/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/developer/deprecated deleted file mode 100644 index e2094fd6..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/developer/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64 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/powerpc/ppc64/10.0/developer/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/developer/parent deleted file mode 100644 index 0d57019c..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/developer/parent +++ /dev/null @@ -1 +0,0 @@ -../../developer diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/parent deleted file mode 100644 index f3229c5b..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/parent +++ /dev/null @@ -1 +0,0 @@ -.. diff --git a/profiles/hardened/linux/powerpc/ppc64/10.0/server/deprecated b/profiles/hardened/linux/powerpc/ppc64/10.0/server/deprecated deleted file mode 100644 index e2094fd6..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/server/deprecated +++ /dev/null @@ -1,7 +0,0 @@ -hardened/linux/powerpc/ppc64 -# Check 'eselect profile list'. -# Find the number that corresponds with the hardened/linux/powerpc/ppc64 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/powerpc/ppc64/10.0/server/parent b/profiles/hardened/linux/powerpc/ppc64/10.0/server/parent deleted file mode 100644 index 375b20d8..00000000 --- a/profiles/hardened/linux/powerpc/ppc64/10.0/server/parent +++ /dev/null @@ -1 +0,0 @@ -../../server diff --git a/profiles/hardened/linux/x86/10.0/deprecated b/profiles/hardened/linux/x86/10.0/deprecated deleted file mode 100644 index 6073d83c..00000000 --- a/profiles/hardened/linux/x86/10.0/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/desktop/deprecated b/profiles/hardened/linux/x86/10.0/desktop/deprecated deleted file mode 100644 index 6073d83c..00000000 --- a/profiles/hardened/linux/x86/10.0/desktop/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/desktop/parent b/profiles/hardened/linux/x86/10.0/desktop/parent deleted file mode 100644 index 322001d0..00000000 --- a/profiles/hardened/linux/x86/10.0/desktop/parent +++ /dev/null @@ -1 +0,0 @@ -../../desktop diff --git a/profiles/hardened/linux/x86/10.0/developer/deprecated b/profiles/hardened/linux/x86/10.0/developer/deprecated deleted file mode 100644 index 6073d83c..00000000 --- a/profiles/hardened/linux/x86/10.0/developer/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/developer/parent b/profiles/hardened/linux/x86/10.0/developer/parent deleted file mode 100644 index 0d57019c..00000000 --- a/profiles/hardened/linux/x86/10.0/developer/parent +++ /dev/null @@ -1 +0,0 @@ -../../developer diff --git a/profiles/hardened/linux/x86/10.0/make.defaults b/profiles/hardened/linux/x86/10.0/make.defaults deleted file mode 100644 index 04740cd1..00000000 --- a/profiles/hardened/linux/x86/10.0/make.defaults +++ /dev/null @@ -1,3 +0,0 @@ -# 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.3 2011/11/17 01:14:27 jmbsvicetto Exp $ diff --git a/profiles/hardened/linux/x86/10.0/parent b/profiles/hardened/linux/x86/10.0/parent deleted file mode 100644 index f3229c5b..00000000 --- a/profiles/hardened/linux/x86/10.0/parent +++ /dev/null @@ -1 +0,0 @@ -.. diff --git a/profiles/hardened/linux/x86/10.0/server/deprecated b/profiles/hardened/linux/x86/10.0/server/deprecated deleted file mode 100644 index 6073d83c..00000000 --- a/profiles/hardened/linux/x86/10.0/server/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/server/parent b/profiles/hardened/linux/x86/10.0/server/parent deleted file mode 100644 index 375b20d8..00000000 --- a/profiles/hardened/linux/x86/10.0/server/parent +++ /dev/null @@ -1 +0,0 @@ -../../server diff --git a/profiles/hardened/linux/x86/make.defaults b/profiles/hardened/linux/x86/make.defaults index 2e728b3e..31ed33c6 100644 --- a/profiles/hardened/linux/x86/make.defaults +++ b/profiles/hardened/linux/x86/make.defaults @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/x86/make.defaults,v 1.11 2012/05/06 16:48:05 ssuominen Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/x86/make.defaults,v 1.12 2012/06/16 11:44:13 jlec Exp $ ARCH="x86" ACCEPT_KEYWORDS="x86" @@ -8,6 +8,8 @@ ACCEPT_KEYWORDS="x86" CHOST="i686-pc-linux-gnu" CFLAGS="-march=i686 -O2 -pipe" CXXFLAGS="${CFLAGS}" +FFLAGS="${CFLAGS}" +FCFLAGS="${CFLAGS}" USE="nptl" diff --git a/profiles/hardened/linux/x86/minimal/make.defaults b/profiles/hardened/linux/x86/minimal/make.defaults index 41dd0b04..141c258a 100644 --- a/profiles/hardened/linux/x86/minimal/make.defaults +++ b/profiles/hardened/linux/x86/minimal/make.defaults @@ -1,6 +1,6 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/x86/minimal/make.defaults,v 1.3 2010/02/01 11:42:34 gengor Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/x86/minimal/make.defaults,v 1.4 2012/06/16 11:44:13 jlec Exp $ # - TESTING PROFILE - TESTING PROFILE - # ------ USE AT YOUR OWN RISK ------ @@ -9,5 +9,7 @@ USE="-* crypt hardened minimal multicall ncurses pic readline zlib" CFLAGS="-march=i686 -Os -pipe" CXXFLAGS="${CFLAGS}" +FFLAGS="${CFLAGS}" +FCFLAGS="${CFLAGS}" FEATURES="nodoc noinfo noman" |