diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-29 18:24:50 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-29 18:24:50 (GMT) |
commit | d276ce2a4fbb5c86bdc7b8cab3860c34741751af (patch) | |
tree | e4ab393aaf1cbd5445cc4432c8a17fea1c6806cd /config/config.mk | |
parent | 712f0c9919a43cac22ef0bfa8f0cb07f24e810db (diff) |
config: fix style issues when source-ing files
Always enclose the sourced file between double-quotes (purely for
consistency; enclosing or not are both allowed by the kconfig language).
Diffstat (limited to 'config/config.mk')
-rw-r--r-- | config/config.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config/config.mk b/config/config.mk index 09dc12d..21cb779 100644 --- a/config/config.mk +++ b/config/config.mk @@ -103,12 +103,12 @@ define build_gen_choice_in echo "if $(3)_$${_entry}"; \ echo "config $(3)"; \ echo " default \"$${entry}\" if $(3)_$${_entry}"; \ - echo "source $${file}"; \ + echo "source \"$${file}\""; \ echo "endif"; \ done; \ echo ""; \ for file in $(wildcard $(4)/*.in-common); do \ - echo "source $${file}"; \ + echo "source \"$${file}\""; \ done; \ ) >$(1) endef @@ -138,7 +138,7 @@ define build_gen_menu_in echo " $${dep_val#\# }"; \ fi; \ echo "if $(3)_$${_entry}"; \ - echo "source $${file}"; \ + echo "source \"$${file}\""; \ echo "endif"; \ echo ""; \ done; \ |