diff options
author | allevato <allevato@google.com> | 2017-08-11 21:47:39 +0200 |
---|---|---|
committer | Irina Iancu <elenairina@google.com> | 2017-08-14 14:15:53 +0200 |
commit | 7c794a8b93910ecde773966cef73322b9a4f477c (patch) | |
tree | 9b989359bfdce067ce6d7b050c65eed0752adc1e /src/main/java/com/google/devtools/build/lib/exec | |
parent | e8dd11a99f5772c8bc57b27fb81af010ad9ffca6 (diff) |
Workaround for ld bug that causes flakiness when using -bitcode_symbol_map.
RELNOTES:
PiperOrigin-RevId: 165012363
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec')
0 files changed, 0 insertions, 0 deletions