diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2019-07-11 16:30:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-11 16:30:18 -0700 |
| commit | 6d47b7bf14da72489bac4f4637e797b854f317c8 (patch) | |
| tree | 5b3a857ac3618135433b62cd7d82b1c2493079be /scripts/fuzz_shell.js | |
| parent | 6f73ad6e22b6be458f91c5ebe1f72cbcd6641264 (diff) | |
| download | binaryen-6d47b7bf14da72489bac4f4637e797b854f317c8.tar.gz binaryen-6d47b7bf14da72489bac4f4637e797b854f317c8.tar.bz2 binaryen-6d47b7bf14da72489bac4f4637e797b854f317c8.zip | |
Add an option to emit a symbols file from wasm2js. (#2214)
This can't use the normal wasm-opt mechanism because we modify the discard the wasm as part of running wasm2js, so we need to emit it in the proper place in the middle.
Diffstat (limited to 'scripts/fuzz_shell.js')
0 files changed, 0 insertions, 0 deletions