diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-05-08 15:12:55 +0200 |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-05-08 15:12:55 +0200 |
commit | 3796ca588504d11e8d57a475065901e40f825054 (patch) | |
tree | b7f106a67c32b19747c6e67f394b045c874816da /kconfig/menu.c | |
parent | c1053caf91ba40a0fe77046f4c5a65ad572a74f5 (diff) | |
download | crosstool-ng-3796ca588504d11e8d57a475065901e40f825054.tar.gz crosstool-ng-3796ca588504d11e8d57a475065901e40f825054.tar.bz2 crosstool-ng-3796ca588504d11e8d57a475065901e40f825054.zip |
kconfig: don't trim spaces with leading pipe
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'kconfig/menu.c')
-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 5fdf10dc..7ec25223 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++; |