| commit | 8b4a365fc7dcfbf22805596cb140562b10815483 | [log] [tgz] |
|---|---|---|
| author | David 'Digit' Turner <digit@google.com> | Mon Dec 01 14:45:22 2014 +0100 |
| committer | David 'Digit' Turner <digit@google.com> | Mon Dec 01 14:46:53 2014 +0100 |
| tree | 69a350fedf1750e9542ae79cef624915b009a12d | |
| parent | ab3d732b2d706b7b4d25e0720902d9289db1be8f [diff] |
gen-android-sdk-toolchain.sh: Add --print=<tool> option. This adds an option to the script to dump the name of a host-specific tool (e.g. 'x86_64-linux-gcc', with --tool=gcc). The <tool> value can also be 'binprefix' to print the binprefix only.