tree 69a350fedf1750e9542ae79cef624915b009a12d
parent ab3d732b2d706b7b4d25e0720902d9289db1be8f
author David 'Digit' Turner <digit@google.com> 1417441522 +0100
committer David 'Digit' Turner <digit@google.com> 1417441613 +0100

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.