diff options
| -rwxr-xr-x | scripts/fuzz_opt.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index e4299639f..ab6d457dd 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -596,6 +596,7 @@ class CompareVMs(TestCaseHandler): os.path.join(self.wasm2c_dir, 'wasm-rt-impl.c'), '-I' + self.wasm2c_dir, '-lm', + '-s', 'ENVIRONMENT=shell', '-s', 'ALLOW_MEMORY_GROWTH'] # disable the signal handler: emcc looks like unix, but wasm has # no signals |