diff options
| author |  Vijay Pai <vpai@google.com> | 2016-03-17 08:16:47 -0700 |
|---|---|---|
| committer | Vijay Pai <vpai@google.com> | 2016-03-17 08:16:47 -0700 |
| commit | 112923f75ea169a36cd1883897f78f918d6a80ac (patch) | |
| tree | 6f4c3e52e0fb2ab79ae1b6970fb1384080f12d51 /tools/dockerfile | |
| parent | b5b18faddc0f457623eef93bad362851cd3fcd19 (diff) | |
Remove JENKINS_BUILD specific options from tsan
Diffstat (limited to 'tools/dockerfile')
0 files changed, 0 insertions, 0 deletions