1.1 --- a/kconfig/menu.c Fri Oct 17 12:47:53 2008 +0000
1.2 +++ b/kconfig/menu.c Sun Mar 08 11:16:57 2009 +0000
1.3 @@ -128,8 +128,14 @@
1.4 prop->visible.expr = menu_check_dep(dep);
1.5
1.6 if (prompt) {
1.7 - if (isspace(*prompt)) {
1.8 - prop_warn(prop, "leading whitespace ignored");
1.9 + /* For crostool-NG, a leading pipe followed with spaces
1.10 + * means that pipe shall be removed, and the spaces should
1.11 + * not be trimmed.
1.12 + */
1.13 + if (*prompt == '|')
1.14 + prompt++;
1.15 + else if (isspace(*prompt)) {
1.16 + /* Silently trim leading spaces */
1.17 while (isspace(*prompt))
1.18 prompt++;
1.19 }