diff options
author | Ray Donnelly <mingw.android@gmail.com> | 2015-05-29 20:40:49 (GMT) |
---|---|---|
committer | Ray Donnelly <mingw.android@gmail.com> | 2015-05-29 20:49:33 (GMT) |
commit | 541199de3a6dc195898b880b4ef2084c106b53ae (patch) | |
tree | fc4e35f81917a5fb5e4931202cb3d6adbc7dea72 /scripts/gen_in_frags.sh | |
parent | 3049c4c1e2483c4109add23738ec838baf42c56e (diff) |
config: Add config support for multiple compilers
This change updates the config to support multiple compilers by moving
CC_.* to CC_GCC_.* to make room for other compilers.
We also update gen_in_frags.sh to check for a default cc.
Signed-off-by: Ray Donnelly <mingw.android@gmail.com>
Reviewed-by: Yann Diorcet <diorcetyann@gmail.com>
Reviewed-by: Bryan Hundven <bryanhundven@gmail.com>
Diffstat (limited to 'scripts/gen_in_frags.sh')
-rwxr-xr-x | scripts/gen_in_frags.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/gen_in_frags.sh b/scripts/gen_in_frags.sh index 2451495..9c656a8 100755 --- a/scripts/gen_in_frags.sh +++ b/scripts/gen_in_frags.sh @@ -138,6 +138,9 @@ gen_menu() { _entry=$(printf '%s\n' "${entry}" |"${sed}" -r -s -e 's/[-.+]/_/g;') printf 'menuconfig %s_%s\n' "${cfg_prefix}" "${_entry}" printf ' bool\n' + if "${grep}" -E '^## default' ${file} >/dev/null 2>&1; then + "${sed}" -r -e '/^## default ?/!d; s/^## default ?/ default /;' ${file} 2>/dev/null + fi printf ' prompt "%s"\n' "${entry}" "${sed}" -r -e '/^## depends on /!d; s/^## / /;' ${file} 2>/dev/null "${sed}" -r -e '/^## select /!d; s/^## / /;' ${file} 2>/dev/null |