diff options
| -rwxr-xr-x | build | 16 |
1 files changed, 15 insertions, 1 deletions
@@ -6,7 +6,21 @@ config_enabled = \ config_enabled() \ { \ [ "x$${1}" = 'x-' ] && return 0; \ - grep "^CONFIG_$${1}=y$$" <src/.config >/dev/null 2>&1; \ + enabled=false; \ + IFS='& '; \ + for cfg in $$(printf '%s' "$${1}"); do \ + unset IFS; \ + [ x"$${cfg}" = x'' ] && continue; \ + if [ x"$${cfg#!}" = x"$${cfg}" ]; then \ + grep -q "^CONFIG_$${cfg}=y$$" <src/.config \ + && enabled=true; \ + else \ + grep -q "^CONFIG_$${cfg#!}=y$$" <src/.config \ + && enabled=false; \ + fi; \ + done; \ + unset IFS; \ + $${enabled}; \ } install_init_script = \ install_init_script() \ |