summaryrefslogtreecommitdiff
path: root/kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'kconfig')
-rw-r--r--kconfig/menu.c8
1 files changed, 7 insertions, 1 deletions
diff --git a/kconfig/menu.c b/kconfig/menu.c
index 5fdf10d..7ec2522 100644
--- a/kconfig/menu.c
+++ b/kconfig/menu.c
@@ -133,7 +133,13 @@ struct property *menu_add_prop(enum prop_type type, char *prompt, struct expr *e
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++;