diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2019-02-12 11:31:29 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-12 11:31:29 -0800 |
| commit | 90d0ee4337c56ce4b30a6cb2a931ae814d150ee7 (patch) | |
| tree | 7f92d73deff9379fcf2283df51df7dd18787c289 /src/tools/wasm-opt.cpp | |
| parent | 92c10bce1a2d5635e3e7a5432066e660821c5d2d (diff) | |
| download | binaryen-90d0ee4337c56ce4b30a6cb2a931ae814d150ee7.tar.gz binaryen-90d0ee4337c56ce4b30a6cb2a931ae814d150ee7.tar.bz2 binaryen-90d0ee4337c56ce4b30a6cb2a931ae814d150ee7.zip | |
respect --no-validation in pass-debug mode (#1904)
Diffstat (limited to 'src/tools/wasm-opt.cpp')
0 files changed, 0 insertions, 0 deletions