diff options
| author | 2018-10-19 12:29:46 -0700 | |
|---|---|---|
| committer | 2018-10-19 12:29:46 -0700 | |
| commit | 41cabfbbf411fdaa4794ce0b15986137dded17b9 (patch) | |
| tree | 701aac648c013f7d6918091309be9275d32c5b4c /java/java_test.go | |
| parent | 1b4aa43303fb21b79ae25e8275c07818d2203443 (diff) | |
Remove make and xmllint from the allowed tools list
We've got a prebuilt of make in prebuilts/build-tools, and we build
xmllint from source.
Test: No logs on the build servers in the last 24 hours
Change-Id: Ib60a7b5feaa31097071b67ebf6beb7f0b9a9f81b
Diffstat (limited to 'java/java_test.go')
0 files changed, 0 insertions, 0 deletions