projects / openwrt.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
[package] pptp: don't remove server route if the gateway is 0.0.0.0, this fixes a...
[openwrt.git] / toolchain / gcc / Config.in
diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index abbfe73..3483e00 100644 (file)
--- 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
 
 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
 
        depends GCC_USE_GRAPHITE
        default n
 
Personal OpenWRT clone
This page took 0.020006 seconds and 4 git commands to generate.