1.1 --- a/kconfig/menu.c Sun May 08 14:57:09 2011 +0200
1.2 +++ b/kconfig/menu.c Sun May 08 15:12:55 2011 +0200
1.3 @@ -133,7 +133,13 @@
1.4 prop->visible.expr = menu_check_dep(dep);
1.5
1.6 if (prompt) {
1.7 - if (isspace(*prompt)) {
1.8 + /* For crostool-NG, a leading pipe followed with spaces
1.9 + * means that pipe shall be removed, and the spaces should
1.10 + * not be trimmed.
1.11 + */
1.12 + if (*prompt == '|')
1.13 + prompt++;
1.14 + else if (isspace(*prompt)) {
1.15 prop_warn(prop, "leading whitespace ignored");
1.16 while (isspace(*prompt))
1.17 prompt++;