diff options
author | Magnus Granberg <zorry@gentoo.org> | 2015-09-17 20:20:37 +0200 |
---|---|---|
committer | Magnus Granberg <zorry@gentoo.org> | 2015-09-17 20:20:37 +0200 |
commit | f8dd3f3e0df8d9e45928db3cc455f677d622b2c3 (patch) | |
tree | 51f044c1e8fa86c88224fd50c70625819a704c85 /profiles | |
parent | 69d18b31afe1c8741663366aa595e46ad607eb79 (diff) | |
download | gentoo-f8dd3f3e0df8d9e45928db3cc455f677d622b2c3.tar.gz gentoo-f8dd3f3e0df8d9e45928db3cc455f677d622b2c3.tar.xz |
profiles: hardened/linux
mask profile when it is incompatible with pie
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/hardened/linux/use.mask | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/profiles/hardened/linux/use.mask b/profiles/hardened/linux/use.mask index e54f87d4b1a..48ed0d68725 100644 --- a/profiles/hardened/linux/use.mask +++ b/profiles/hardened/linux/use.mask @@ -12,3 +12,6 @@ pch # prelink is masked for hardened prelink + +# profile are incompatible when linking with pie +profile |