aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnthony G. Basile <basile@opensource.dyc.edu>2010-11-06 15:02:01 -0400
committerAnthony G. Basile <basile@opensource.dyc.edu>2010-11-06 15:02:01 -0400
commitb4c6c68fa8bbedb7ab05a403319cc31c949727a1 (patch)
tree4b18d75294cd72a67fd77b45abf6b99bf3760bd7
parentRestructured hardened/linux/powerpc/ppc64 profiles (diff)
downloadhardened-dev-b4c6c68fa8bbedb7ab05a403319cc31c949727a1.tar.gz
hardened-dev-b4c6c68fa8bbedb7ab05a403319cc31c949727a1.tar.bz2
hardened-dev-b4c6c68fa8bbedb7ab05a403319cc31c949727a1.zip
Restructured hardened/linux/ia64 profiles
-rw-r--r--profiles/hardened/linux/ia64/10.0/deprecated7
-rw-r--r--profiles/hardened/linux/ia64/10.0/desktop/deprecated7
-rw-r--r--profiles/hardened/linux/ia64/10.0/developer/deprecated7
-rw-r--r--profiles/hardened/linux/ia64/10.0/server/deprecated7
-rw-r--r--profiles/hardened/linux/ia64/2008.0/deprecated4
-rw-r--r--profiles/hardened/linux/ia64/2008.0/desktop/deprecated4
-rw-r--r--profiles/hardened/linux/ia64/2008.0/developer/deprecated4
-rw-r--r--profiles/hardened/linux/ia64/2008.0/server/deprecated4
-rw-r--r--profiles/hardened/linux/ia64/make.defaults8
-rw-r--r--profiles/hardened/linux/ia64/parent1
10 files changed, 45 insertions, 8 deletions
diff --git a/profiles/hardened/linux/ia64/10.0/deprecated b/profiles/hardened/linux/ia64/10.0/deprecated
new file mode 100644
index 00000000..336eef15
--- /dev/null
+++ b/profiles/hardened/linux/ia64/10.0/deprecated
@@ -0,0 +1,7 @@
+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
new file mode 100644
index 00000000..336eef15
--- /dev/null
+++ b/profiles/hardened/linux/ia64/10.0/desktop/deprecated
@@ -0,0 +1,7 @@
+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/deprecated b/profiles/hardened/linux/ia64/10.0/developer/deprecated
new file mode 100644
index 00000000..336eef15
--- /dev/null
+++ b/profiles/hardened/linux/ia64/10.0/developer/deprecated
@@ -0,0 +1,7 @@
+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/deprecated b/profiles/hardened/linux/ia64/10.0/server/deprecated
new file mode 100644
index 00000000..336eef15
--- /dev/null
+++ b/profiles/hardened/linux/ia64/10.0/server/deprecated
@@ -0,0 +1,7 @@
+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/2008.0/deprecated b/profiles/hardened/linux/ia64/2008.0/deprecated
index b55ccb7d..336eef15 100644
--- a/profiles/hardened/linux/ia64/2008.0/deprecated
+++ b/profiles/hardened/linux/ia64/2008.0/deprecated
@@ -1,6 +1,6 @@
-hardened/linux/ia64/10.0
+hardened/linux/ia64
# Check 'eselect profile list'.
-# Find the number that corresponds with the hardened/linux/ia64/10.0 profile.
+# 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
diff --git a/profiles/hardened/linux/ia64/2008.0/desktop/deprecated b/profiles/hardened/linux/ia64/2008.0/desktop/deprecated
index b55ccb7d..336eef15 100644
--- a/profiles/hardened/linux/ia64/2008.0/desktop/deprecated
+++ b/profiles/hardened/linux/ia64/2008.0/desktop/deprecated
@@ -1,6 +1,6 @@
-hardened/linux/ia64/10.0
+hardened/linux/ia64
# Check 'eselect profile list'.
-# Find the number that corresponds with the hardened/linux/ia64/10.0 profile.
+# 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
diff --git a/profiles/hardened/linux/ia64/2008.0/developer/deprecated b/profiles/hardened/linux/ia64/2008.0/developer/deprecated
index b55ccb7d..336eef15 100644
--- a/profiles/hardened/linux/ia64/2008.0/developer/deprecated
+++ b/profiles/hardened/linux/ia64/2008.0/developer/deprecated
@@ -1,6 +1,6 @@
-hardened/linux/ia64/10.0
+hardened/linux/ia64
# Check 'eselect profile list'.
-# Find the number that corresponds with the hardened/linux/ia64/10.0 profile.
+# 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
diff --git a/profiles/hardened/linux/ia64/2008.0/server/deprecated b/profiles/hardened/linux/ia64/2008.0/server/deprecated
index b55ccb7d..336eef15 100644
--- a/profiles/hardened/linux/ia64/2008.0/server/deprecated
+++ b/profiles/hardened/linux/ia64/2008.0/server/deprecated
@@ -1,6 +1,6 @@
-hardened/linux/ia64/10.0
+hardened/linux/ia64
# Check 'eselect profile list'.
-# Find the number that corresponds with the hardened/linux/ia64/10.0 profile.
+# 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
diff --git a/profiles/hardened/linux/ia64/make.defaults b/profiles/hardened/linux/ia64/make.defaults
new file mode 100644
index 00000000..a3638e9c
--- /dev/null
+++ b/profiles/hardened/linux/ia64/make.defaults
@@ -0,0 +1,8 @@
+# Copyright 1999-2008 Gentoo Foundation.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/linux/ia64/10.0/make.defaults,v 1.2 2009/09/30 03:08:33 gengor Exp $
+
+# STAGE1_USE does not stack
+STAGE1_USE="hardened nptl nptlonly pic"
+
+USE="-unicode"
diff --git a/profiles/hardened/linux/ia64/parent b/profiles/hardened/linux/ia64/parent
index 10d6c4b3..634592c4 100644
--- a/profiles/hardened/linux/ia64/parent
+++ b/profiles/hardened/linux/ia64/parent
@@ -1,3 +1,4 @@
../../../base
..
../../../arch/ia64
+../../../releases/10.0