1 |
commit: 2d9d9de8d3772455a5f872429070d5cb0a933259 |
2 |
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Feb 10 15:42:35 2019 +0000 |
4 |
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Feb 10 21:49:59 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d9d9de8 |
7 |
|
8 |
profile: hardened: remove "profile" use.mask |
9 |
|
10 |
Acked-by: Magnus Granberg <zorry <AT> gentoo.org> |
11 |
Bug: https://bugs.gentoo.org/676988 |
12 |
|
13 |
Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org> |
14 |
|
15 |
profiles/features/hardened/use.mask | 5 +---- |
16 |
1 file changed, 1 insertion(+), 4 deletions(-) |
17 |
|
18 |
diff --git a/profiles/features/hardened/use.mask b/profiles/features/hardened/use.mask |
19 |
index e3999ad4870..1b90677af3d 100644 |
20 |
--- a/profiles/features/hardened/use.mask |
21 |
+++ b/profiles/features/hardened/use.mask |
22 |
@@ -1,4 +1,4 @@ |
23 |
-# Copyright 1999-2017 Gentoo Foundation |
24 |
+# Copyright 1999-2019 Gentoo Authors |
25 |
# Distributed under the terms of the GNU General Public License v2 |
26 |
|
27 |
-hardened |
28 |
@@ -8,6 +8,3 @@ pch |
29 |
|
30 |
# prelink is masked for hardened |
31 |
prelink |
32 |
- |
33 |
-# profile are incompatible when linking with pie |
34 |
-profile |