diff options
Diffstat (limited to 'tools/wpt/utils.ts')
| -rw-r--r-- | tools/wpt/utils.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/wpt/utils.ts b/tools/wpt/utils.ts index 47cb8c5ec..1752dab04 100644 --- a/tools/wpt/utils.ts +++ b/tools/wpt/utils.ts @@ -13,10 +13,11 @@ export const { ["--"]: rest, ["auto-config"]: autoConfig, ["inspect-brk"]: inspectBrk, + ["no-ignore"]: noIgnore, binary, } = parse(Deno.args, { "--": true, - boolean: ["quiet", "release", "no-interactive", "inspect-brk"], + boolean: ["quiet", "release", "no-interactive", "inspect-brk", "no-ignore"], string: ["json", "wptreport", "binary"], }); |