diff options
| -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 abbfe733e..3483e00b2 100644 --- a/toolchain/gcc/Config.in +++ b/toolchain/gcc/Config.in @@ -71,7 +71,7 @@ config GCC_USE_GRAPHITE config GCC_USE_SYSTEM_PPL_CLOOG bool - prompt "Use the system versions of PPL and CLooG + prompt "Use the system versions of PPL and CLooG" depends GCC_USE_GRAPHITE default n |