diff options
Diffstat (limited to 'profiles/hardened/linux/use.mask')
| -rw-r--r-- | profiles/hardened/linux/use.mask | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/profiles/hardened/linux/use.mask b/profiles/hardened/linux/use.mask deleted file mode 100644 index e3999ad48706..000000000000 --- a/profiles/hardened/linux/use.mask +++ /dev/null @@ -1,13 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - --hardened - -# precompiled headers are not compat with ASLR. -pch - -# prelink is masked for hardened -prelink - -# profile are incompatible when linking with pie -profile |