diff options
author | lberki <lberki@google.com> | 2017-10-13 09:27:10 +0200 |
---|---|---|
committer | Marcel Hlopko <hlopko@google.com> | 2017-10-13 13:53:25 +0200 |
commit | 80a34dc97799961201e6dce20fd58dd08022c032 (patch) | |
tree | 0e3820851ea178df8f40888105c84ddbe5538532 /third_party/checker_framework_javacutil | |
parent | 542d4abce1673eadc76764f59d8bf0553c0dec38 (diff) |
Put the platform version from the options into the output directory name instead of the one computed based on xcode_config.
RELNOTES: None.
PiperOrigin-RevId: 172064337
Diffstat (limited to 'third_party/checker_framework_javacutil')
0 files changed, 0 insertions, 0 deletions