# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1304860375 -7200
# Node ID 68cc5a0d3191702d7ac2835c4db9bae492fe688c
# Parent  adf82c0b68116f2199bbb725c04683b5e8bb8aed
kconfig: don't trim spaces with leading pipe

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

diff -r adf82c0b6811 -r 68cc5a0d3191 kconfig/menu.c
--- a/kconfig/menu.c	Sun May 08 14:57:09 2011 +0200
+++ b/kconfig/menu.c	Sun May 08 15:12:55 2011 +0200
@@ -133,7 +133,13 @@
 	prop->visible.expr = menu_check_dep(dep);
 
 	if (prompt) {
-		if (isspace(*prompt)) {
+		/* For crostool-NG, a leading pipe followed with spaces
+		 * means that pipe shall be removed, and the spaces should
+		 * not be trimmed.
+		 */
+		if (*prompt == '|')
+			prompt++;
+		else if (isspace(*prompt)) {
 			prop_warn(prop, "leading whitespace ignored");
 			while (isspace(*prompt))
 				prompt++;