diff options
Diffstat (limited to 'kconfig')
-rw-r--r-- | kconfig/menu.c | 8 |
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++; |