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)
commitd2493313aeefadd6a6cf7bd4c0d36cc1a3e24b3d
treed269c0728a11fd02f7dec64dc937b40c0222f0c1
parent1c5e16bec75d10e803d70223929395d286f54183
parentef7f33b93bd833d84e2c4054bf2ff713f2d9baf0
Merge "configure: echo --(disable|enable)-* cmdline options"
build/make/configure.sh