infra: Install ninja and gn when building the website
This (hopefully) fixes the website (docs) build, broken by
r.android.com/2292899
Change-Id: I8d34a5bcaea77e268a5dc2421aeb02443b72bdfe
diff --git a/tools/install-build-deps b/tools/install-build-deps
index d6a913f..44a06f7 100755
--- a/tools/install-build-deps
+++ b/tools/install-build-deps
@@ -534,7 +534,7 @@
action='store_true',
help='Node and NPM packages to Build the Web-based UI via ./ui/build')
parser.add_argument('--check-only')
- parser.add_argument('--filter', default='')
+ parser.add_argument('--filter', action='append')
parser.add_argument('--verify', help='Check all URLs', action='store_true')
parser.add_argument(
'--no-toolchain', help='Do not download toolchain', action='store_true')
@@ -569,7 +569,7 @@
matches_arch = dep.target_arch == 'all' or target_arch == dep.target_arch
if not matches_os or not matches_arch:
continue
- if args.filter and args.filter not in dep.target_folder:
+ if args.filter and not any(f in dep.target_folder for f in args.filter):
continue
local_path = os.path.join(ROOT_DIR, dep.target_folder)
if dep.source_url.endswith('.git'):
