diff options
| author | Ramy Medhat <abdelaal@google.com> | 2020-08-13 22:53:42 -0400 |
|---|---|---|
| committer | Kousik Kumar <kousikk@google.com> | 2020-09-15 18:10:24 +0000 |
| commit | 00ff4cc1efced8bea445c4dce69a9e16bdae72d0 (patch) | |
| tree | c18e14e11822f42a56e60941718e71f8f3357d8a /scripts/lint-project-xml.py | |
| parent | 19c39230e9588a3adc743b2abe843f8926de03f1 (diff) | |
[DO NOT MERGE] Do not generate a random socket address for RBE if NOSTART_RBE is set.
Bug: b/166182389
Test: A build with NOSTART_RBE=1
Change-Id: I5872632442c754b597901b7729eed597ee45859f
Merged-In: I5872632442c754b597901b7729eed597ee45859f
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions