1.1 --- a/kconfig/menu.c	Fri Oct 17 12:47:53 2008 +0000
     1.2 +++ b/kconfig/menu.c	Mon May 25 17:22:54 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  		}