diff --git a/cli.js b/cli.js index e05211da..cd1dd423 100644 --- a/cli.js +++ b/cli.js @@ -119,7 +119,7 @@ const printHelp = cliParams.delete("help"); const dumpTestList = cliParams.delete("dumpTestList"); if (cliArgs.length) { - let tests = cliParams.has("test") ? cliParams.get("tests").split(",") : [] + let tests = cliParams.has("test") ? cliParams.get("test").split(",") : [] tests = tests.concat(cliArgs); cliParams.set("test", tests.join(",")); } diff --git a/utils/shell-config.js b/utils/shell-config.js index 59d7895c..dfcc4647 100644 --- a/utils/shell-config.js +++ b/utils/shell-config.js @@ -55,3 +55,8 @@ if (typeof performance == "undefined") performance.mark ??= function(){}; performance.measure ??= function(){}; + +if (isD8) { + performance.mark = function(){}; + performance.measure = function(){}; +}