diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2019-04-16 16:47:50 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-16 16:47:50 -0700 |
| commit | 4d81752204fede13d6513def4195aabe66c5586f (patch) | |
| tree | f6322eaa40e0fc38beaa7ca68dc3b55b8629f473 /src/wasm.h | |
| parent | 698fddca4e598cb4f72fe61557c9f91ed879a289 (diff) | |
| download | binaryen-4d81752204fede13d6513def4195aabe66c5586f.tar.gz binaryen-4d81752204fede13d6513def4195aabe66c5586f.tar.bz2 binaryen-4d81752204fede13d6513def4195aabe66c5586f.zip | |
Change default feature set to MVP (#1993)
In the absence of the target features section or command line flags. When there are command line flags, it is an error if they do not exactly match the target features section, except if --detect-features has been provided.
Also adds a --print-features pass to print the command line flags for all enabled options and uses it to make the feature tests more rigorous.
Diffstat (limited to 'src/wasm.h')
| -rw-r--r-- | src/wasm.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm.h b/src/wasm.h index 2171eeb12..f4180f7a0 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -928,7 +928,7 @@ public: // respected regardless of the value of`hasFeaturesSection`. // `hasFeaturesSection` means we read a features section and will emit one // too. - FeatureSet features = FeatureSet::All; + FeatureSet features = FeatureSet::MVP; bool hasFeaturesSection = false; MixedArena allocator; |