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
This commit is contained in:
Googler 2017-01-19 20:08:09 +01:00 committed by Marcel Hlopko
parent 2aabbef2f1
commit 120d8ee3a6
1 changed files with 4 additions and 1 deletions

View File

@ -451,7 +451,10 @@ message CToolchain {
// why they are recorded here.
repeated string debian_extra_requires = 33;
// Next free id: 55
// Unused, for compatibility with things internal to Google.
optional string cc_target_os = 55;
// Next free id: 56
}
message ToolPath {