diff options
| author | James Zern <jzern@google.com> | 2015-01-30 13:16:02 -0800 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@gerrit.golo.chromium.org> | 2015-01-30 13:16:02 -0800 |
| commit | d2493313aeefadd6a6cf7bd4c0d36cc1a3e24b3d (patch) | |
| tree | d269c0728a11fd02f7dec64dc937b40c0222f0c1 /build/make/configure.sh | |
| parent | 1c5e16bec75d10e803d70223929395d286f54183 (diff) | |
| parent | ef7f33b93bd833d84e2c4054bf2ff713f2d9baf0 (diff) | |
| download | libvpx-d2493313aeefadd6a6cf7bd4c0d36cc1a3e24b3d.tar libvpx-d2493313aeefadd6a6cf7bd4c0d36cc1a3e24b3d.tar.gz libvpx-d2493313aeefadd6a6cf7bd4c0d36cc1a3e24b3d.tar.bz2 libvpx-d2493313aeefadd6a6cf7bd4c0d36cc1a3e24b3d.zip | |
Merge "configure: echo --(disable|enable)-* cmdline options"
Diffstat (limited to 'build/make/configure.sh')
| -rw-r--r-- | build/make/configure.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/build/make/configure.sh b/build/make/configure.sh index a2ac9bf77..932dd8ef6 100644 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -201,7 +201,7 @@ disabled(){ soft_enable() { for var in $*; do if ! disabled $var; then - log_echo " enabling $var" + enabled $var || log_echo " enabling $var" enable_feature $var fi done @@ -210,7 +210,7 @@ soft_enable() { soft_disable() { for var in $*; do if ! enabled $var; then - log_echo " disabling $var" + disabled $var || log_echo " disabling $var" disable_feature $var fi done @@ -508,9 +508,11 @@ process_common_cmdline() { elif [ $action = "disable" ] && ! disabled $option ; then echo "${CMDLINE_SELECT}" | grep "^ *$option\$" >/dev/null || die_unknown $opt + log_echo " disabling $option" elif [ $action = "enable" ] && ! enabled $option ; then echo "${CMDLINE_SELECT}" | grep "^ *$option\$" >/dev/null || die_unknown $opt + log_echo " enabling $option" fi ${action}_feature $option ;; |