diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-05-08 20:57:57 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-05-08 20:57:57 (GMT) |
| commit | 508003189a4739c839c95e639ea332a0263b9461 (patch) | |
| tree | f9066448ee37e227dd745aa7c672cc241084fffb /config | |
| parent | 53892de14c1a5fb76f0e342428aafa6e6932062a (diff) | |
config: add generated help entries only if present
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'config')
| -rw-r--r-- | config/config.mk | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/config/config.mk b/config/config.mk index 13b9da3..8cb63f8 100644 --- a/config/config.mk +++ b/config/config.mk @@ -95,8 +95,10 @@ define build_gen_choice_in fi; \ sed -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null;\ sed -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \ - echo " help"; \ - sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \ + if grep -E '^## help' $${file} >/dev/null 2>&1; then \ + echo " help"; \ + sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \ + fi; \ echo ""; \ done; \ echo "endchoice"; \ @@ -159,8 +161,10 @@ define build_gen_menu_in echo " prompt \"$${entry}\""; \ sed -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null;\ sed -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \ - echo " help"; \ - sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \ + if grep -E '^## help' $${file} >/dev/null 2>&1; then \ + echo " help"; \ + sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \ + fi; \ echo ""; \ echo "if $(3)_$${_entry}"; \ echo "source \"$${file}\""; \ |