diff options
| author | Dan Willemsen <dwillemsen@google.com> | 2018-10-09 23:54:19 +0000 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@google.com> | 2018-10-09 23:57:45 +0000 |
| commit | 6afcd9aab93fc45ae4d817c0fb094bb5a8b2a3f2 (patch) | |
| tree | 839476dad6fc0af462c85ce0442f3aa84059d2b9 /ui | |
| parent | 55e095b6d851739af2fbfc5724510cd1938296b6 (diff) | |
| download | build_soong-6afcd9aab93fc45ae4d817c0fb094bb5a8b2a3f2.tar.gz build_soong-6afcd9aab93fc45ae4d817c0fb094bb5a8b2a3f2.tar.bz2 build_soong-6afcd9aab93fc45ae4d817c0fb094bb5a8b2a3f2.zip | |
Log uses of `make` and `xmllint` within the Android Build
Now that we've got prebuilts of make, turn on logging so that
we can find all the users and convert them to the prebuilt.
We also build xmllint as part of the tree, so log uses of that
too.
Test: treehugger
Change-Id: I8a6a5d481dfc709dc0eb3424c51430bc54763c1e
Diffstat (limited to 'ui')
| -rw-r--r-- | ui/build/paths/config.go | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ui/build/paths/config.go b/ui/build/paths/config.go index 8c51641e..6851e8ca 100644 --- a/ui/build/paths/config.go +++ b/ui/build/paths/config.go @@ -101,7 +101,7 @@ var Configuration = map[string]PathConfig{ "ls": Allowed, "lsof": Allowed, "m4": Allowed, - "make": Allowed, + "make": Log, "md5sum": Allowed, "mkdir": Allowed, "mktemp": Allowed, @@ -149,7 +149,7 @@ var Configuration = map[string]PathConfig{ "which": Allowed, "whoami": Allowed, "xargs": Allowed, - "xmllint": Allowed, + "xmllint": Log, "xxd": Allowed, "xz": Allowed, "zip": Allowed, |