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++;