diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2018-12-03 18:26:16 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-03 18:26:16 -0800 |
| commit | 6b6e89d0c8feeead83d6d83fa94e17fc9f75e0f8 (patch) | |
| tree | 5b343da66f58c7fff1fbcd401dcec3e913ea49ff /src/tools/wasm-as.cpp | |
| parent | 99cad87cea463fc3b978850a1d1416d9b338a14c (diff) | |
| download | binaryen-6b6e89d0c8feeead83d6d83fa94e17fc9f75e0f8.tar.gz binaryen-6b6e89d0c8feeead83d6d83fa94e17fc9f75e0f8.tar.bz2 binaryen-6b6e89d0c8feeead83d6d83fa94e17fc9f75e0f8.zip | |
Feature options (#1797)
Add feature flags and struct interface. Default feature set has all feature enabled.
Diffstat (limited to 'src/tools/wasm-as.cpp')
| -rw-r--r-- | src/tools/wasm-as.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/wasm-as.cpp b/src/tools/wasm-as.cpp index 46885dec0..c504c2a81 100644 --- a/src/tools/wasm-as.cpp +++ b/src/tools/wasm-as.cpp @@ -93,7 +93,7 @@ int main(int argc, const char *argv[]) { if (options.extra["validate"] != "none") { if (options.debug) std::cerr << "Validating..." << std::endl; - if (!wasm::WasmValidator().validate(wasm, Feature::All, + if (!wasm::WasmValidator().validate(wasm, FeatureSet::All, WasmValidator::Globally | (options.extra["validate"] == "web" ? WasmValidator::Web : 0))) { WasmPrinter::printModule(&wasm); Fatal() << "Error: input module is not valid.\n"; |