diff options
Diffstat (limited to 'tools/wpt/utils.ts')
-rw-r--r-- | tools/wpt/utils.ts | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/tools/wpt/utils.ts b/tools/wpt/utils.ts index 3efd252b4..9ef07dec3 100644 --- a/tools/wpt/utils.ts +++ b/tools/wpt/utils.ts @@ -7,6 +7,7 @@ export const { json, quiet, release, + rebuild, ["--"]: rest, ["auto-config"]: autoConfig, } = parse(Deno.args, { @@ -43,7 +44,15 @@ const MANIFEST_PATH = join(ROOT_PATH, "./tools/wpt/manifest.json"); export async function updateManifest() { const proc = runPy( - ["wpt", "manifest", "--tests-root", ".", "-p", MANIFEST_PATH], + [ + "wpt", + "manifest", + "--tests-root", + ".", + "-p", + MANIFEST_PATH, + ...(rebuild ? ["--rebuild"] : []), + ], {}, ); const status = await proc.status(); |