| commit | 9565675616b66e19a82743ac6c38bcdd476359e9 | [log] [tgz] |
|---|---|---|
| author | Dan Willemsen <dwillemsen@google.com> | Sat Oct 20 21:29:48 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Sat Oct 20 21:29:48 2018 +0000 |
| tree | 1029eaf3961ca47decb556ce6c59b8f55b738786 | |
| parent | a10cdc664cd19e851a1f652e511870ad31d2c06e [diff] | |
| parent | 41cabfbbf411fdaa4794ce0b15986137dded17b9 [diff] |
Merge "Remove make and xmllint from the allowed tools list"
diff --git a/ui/build/paths/config.go b/ui/build/paths/config.go index 7e19da6..c4fcc20 100644 --- a/ui/build/paths/config.go +++ b/ui/build/paths/config.go
@@ -101,7 +101,6 @@ "ls": Allowed, "lsof": Allowed, "m4": Allowed, - "make": Log, "md5sum": Allowed, "mkdir": Allowed, "mktemp": Allowed, @@ -148,7 +147,6 @@ "which": Allowed, "whoami": Allowed, "xargs": Allowed, - "xmllint": Log, "xxd": Allowed, "xz": Allowed, "zip": Allowed,