Merge "configure: echo --(disable|enable)-* cmdline options"
authorJames Zern <jzern@google.com>
Fri, 30 Jan 2015 21:16:02 +0000 (13:16 -0800)
committerGerrit Code Review <gerrit@gerrit.golo.chromium.org>
Fri, 30 Jan 2015 21:16:02 +0000 (13:16 -0800)
1  2 
build/make/configure.sh

Simple merge