diff options
Diffstat (limited to 'toolchain/gcc/Config.in')
| -rw-r--r-- | toolchain/gcc/Config.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in index 81b795edd0..249a01b509 100644 --- a/toolchain/gcc/Config.in +++ b/toolchain/gcc/Config.in @@ -32,7 +32,7 @@ config GCC_USE_GRAPHITE config GCC_USE_SYSTEM_PPL_CLOOG bool prompt "Use the system versions of PPL and CLooG" - depends on GCC_USE_GRAPHITE + depends on GCC_USE_GRAPHITE && GCC_VERSION_4_8 default n config EXTRA_GCC_CONFIG_OPTIONS |