diff options
author | Alon Zakai <azakai@google.com> | 2021-03-04 00:26:44 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-03 16:26:44 -0800 |
commit | 13c0243251f06730e9d9330f4c60f0bc62c591ac (patch) | |
tree | af1fda3c8911c674dbdd48b6f3e762dacd784ff2 /src/wasm-binary.h | |
parent | 11ec03ce930121736655769b9bbccaae0280b64c (diff) | |
download | binaryen-13c0243251f06730e9d9330f4c60f0bc62c591ac.tar.gz binaryen-13c0243251f06730e9d9330f4c60f0bc62c591ac.tar.bz2 binaryen-13c0243251f06730e9d9330f4c60f0bc62c591ac.zip |
Make the reduction script more robust, and document text reduction (#3640)
The check for a valid wasm file must be different if the wasm has
a feature section or not, so just try both ways, with --detect-features
and --all-features. If the wasm is valid, at least one will work.
Diffstat (limited to 'src/wasm-binary.h')
0 files changed, 0 insertions, 0 deletions