summaryrefslogtreecommitdiff
path: root/kconfig/menu.c
diff options
context:
space:
mode:
Diffstat (limited to 'kconfig/menu.c')
-rw-r--r--kconfig/menu.c10
1 files changed, 8 insertions, 2 deletions
diff --git a/kconfig/menu.c b/kconfig/menu.c
index 07ff8d1..b8113cc 100644
--- a/kconfig/menu.c
+++ b/kconfig/menu.c
@@ -128,8 +128,14 @@ 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)) {
- prop_warn(prop, "leading whitespace ignored");
+ /* 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)) {
+ /* Silently trim leading spaces */
while (isspace(*prompt))
prompt++;
}