diff options
-rwxr-xr-x | tests/runner.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tests/runner.py b/tests/runner.py index dd106ecd..e785caad 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -8975,13 +8975,11 @@ def process(filename): self.do_run(src, output) shutil.move(self.in_dir('src.cpp.o.js'), self.in_dir('normal.js')) - self.emcc_args.append('-s') - self.emcc_args.append('ASM_JS=0') + Settings.ASM_JS = 0 Settings.PGO = 1 self.do_run(src, output) + Settings.ASM_JS = 1 Settings.PGO = 0 - self.emcc_args.append('-s') - self.emcc_args.append('ASM_JS=1') shutil.move(self.in_dir('src.cpp.o.js'), self.in_dir('pgo.js')) pgo_output = run_js(self.in_dir('pgo.js')).split('\n')[1] |