diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-06-04 10:14:43 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-06-04 10:14:43 (EDT) |
commit | ffe6edccdcb88a169bcbf436816513bb074036a6 (patch) | |
tree | 73c520c27fe5c26fe33cb4324236e1c09a90b166 | |
parent | eba2e893c235a83b44e0e23983ca241b8b29bd2d (diff) |
build: Support no-op "-" configs in scripts file.
-rwxr-xr-x | build | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ include ../source.mk config_enabled = \ config_enabled() \ { \ + [ "x$${1}" = 'x-' ] && return 0; \ grep "^CONFIG_$${1}=y$$" <src/.config >/dev/null 2>&1; \ } install_init_script = \ |