diff options
author | Alon Zakai <azakai@google.com> | 2019-03-20 15:52:19 -0700 |
---|---|---|
committer | Alon Zakai <azakai@google.com> | 2019-03-20 15:52:19 -0700 |
commit | 1690311955c5add86d634ecc47e937315b3b6c41 (patch) | |
tree | 429a0df2e87d41f46ed2408c90657b221294e22f /src/wasm/wasm.cpp | |
parent | fec88b85e44b49ac3273b0b7d4e06fba060df36f (diff) | |
parent | fe0b16aa222318588f3bfd84e549b4a1528be296 (diff) | |
download | binaryen-1690311955c5add86d634ecc47e937315b3b6c41.tar.gz binaryen-1690311955c5add86d634ecc47e937315b3b6c41.tar.bz2 binaryen-1690311955c5add86d634ecc47e937315b3b6c41.zip |
Merge remote-tracking branch 'origin/master' into nans
Diffstat (limited to 'src/wasm/wasm.cpp')
-rw-r--r-- | src/wasm/wasm.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/wasm/wasm.cpp b/src/wasm/wasm.cpp index c12481760..c99bb0994 100644 --- a/src/wasm/wasm.cpp +++ b/src/wasm/wasm.cpp @@ -32,6 +32,7 @@ const char* SourceMapUrl = "sourceMappingURL"; const char* Dylink = "dylink"; const char* Linking = "linking"; const char* Producers = "producers"; +const char* TargetFeatures = "target_features"; } } |