diff options
author | 2017-10-13 09:27:10 +0200 | |
---|---|---|
committer | 2017-10-13 13:53:25 +0200 | |
commit | 80a34dc97799961201e6dce20fd58dd08022c032 (patch) | |
tree | 0e3820851ea178df8f40888105c84ddbe5538532 /third_party/checker_framework_dataflow | |
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_dataflow')
0 files changed, 0 insertions, 0 deletions