diff options
| author | 2019-02-28 08:49:42 -0800 | |
|---|---|---|
| committer | 2019-03-01 11:36:36 -0800 | |
| commit | 4e9a9485f4e80f779f81c0ef692c1ea048b472ea (patch) | |
| tree | 5c604fe0e50c742277aeb128dfb70464101eabe2 /tools/warn/java_warn_patterns.py | |
| parent | 5a4696e460eca861731afddaa0c2c9fffd26e5bf (diff) | |
Add a placeholder EXTRA_OPTIONS to inject more tradefed options
Simply remove the placeholder in makefiles, for now I am
not sure we need to support this in makefiles at all.
Test: call the sed method
Bug: 124024827
Change-Id: Iae78ae86c20c5da6b7314b749f54983a312c4a7d
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions