diff options
Diffstat (limited to 'src/tools/wasm-opt.cpp')
| -rw-r--r-- | src/tools/wasm-opt.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index 41302eac8..24ea9c31c 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -230,6 +230,7 @@ int main(int argc, const char* argv[]) { // asked to remove it. reader.setDWARF(options.passOptions.debugInfo && !willRemoveDebugInfo(options.passes)); + reader.setProfile(options.profile); try { reader.read(options.extra["infile"], wasm, inputSourceMapFilename); } catch (ParseException& p) { |