diff options
author | Kirill Smirnov <kirill.k.smirnov@gmail.com> | 2016-10-04 23:59:48 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-04 23:59:48 (GMT) |
commit | c7cb030fd58f7ec468de9693d78b73037091d7e0 (patch) | |
tree | 77975bad1c15352c73620f0c0ab477cc66647555 /config/cc/gcc.in.2 | |
parent | 8c04681a99e8e61fff2fe631b3124af666b73d02 (diff) | |
parent | 3ec2211548a853203e070af6810f49825ec46a6a (diff) |
Merge branch 'master' into janitorial
Diffstat (limited to 'config/cc/gcc.in.2')
-rw-r--r-- | config/cc/gcc.in.2 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/config/cc/gcc.in.2 b/config/cc/gcc.in.2 index c200d22..b7353df 100644 --- a/config/cc/gcc.in.2 +++ b/config/cc/gcc.in.2 @@ -182,6 +182,16 @@ config CC_GCC_LIBSANITIZER The default is 'N'. Say 'Y' if you need it, and report success/failure. +config CC_GCC_LIBMPX + bool + default y + prompt "Compile libmpx" + depends on CC_GCC_HAS_LIBMPX + depends on ARCH_x86 + depends on !LIBC_musl # MUSL does not define libc types that GCC requires + help + Enable GCC support for Intel Memory Protection Extensions (MPX). + #----------------------------------------------------------------------------- comment "Misc. obscure options." |