commit | 120d8ee3a6e4380a7dacd18ee174a1ad49dcdbab | [log] [tgz] |
---|---|---|
author | Googler <noreply@google.com> | Thu Jan 19 20:08:09 2017 +0100 |
committer | Marcel Hlopko <hlopko@google.com> | Wed Jan 09 08:52:19 2019 +0100 |
tree | 031c36e6b6027cbbde4a42b0b9d65537234af6e4 | |
parent | 2aabbef2f1f7dc22404c1c8395a400cca62bce66 [diff] |
Create "target_os" option to make selecting on platform possible. This flag is not meant to be set on the commandline but to be readable from a Crosstool. This makes it so //tool/cc_target_os:android and friends don't require a hardcoded Crosstool top PiperOrigin-RevId: 144983864