diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-06-18 22:49:26 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-18 22:49:26 +0100 |
commit | 509319ac42a18b5a120ae9e45daac624affc07e1 (patch) | |
tree | 3315877880b1832b0e879ef4fde3fd13334bb95a /src | |
parent | 0b19905878d0a34964163431257284ed380dc5bc (diff) | |
download | binaryen-509319ac42a18b5a120ae9e45daac624affc07e1.tar.gz binaryen-509319ac42a18b5a120ae9e45daac624affc07e1.tar.bz2 binaryen-509319ac42a18b5a120ae9e45daac624affc07e1.zip |
support -o in binaryen-shell (#592)
Diffstat (limited to 'src')
-rw-r--r-- | src/tools/binaryen-shell.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/tools/binaryen-shell.cpp b/src/tools/binaryen-shell.cpp index fdc933fa6..b6cace769 100644 --- a/src/tools/binaryen-shell.cpp +++ b/src/tools/binaryen-shell.cpp @@ -199,6 +199,11 @@ int main(int argc, const char* argv[]) { auto input(read_file<std::vector<char>>(options.extra["infile"], Flags::Text, options.debug ? Flags::Debug : Flags::Release)); + std::unique_ptr<Output> output; + if (options.extra.count("output") > 0) { + output = make_unique<Output>(options.extra["output"], Flags::Text, options.debug ? Flags::Debug : Flags::Release); + } + bool checked = false; try { @@ -237,6 +242,10 @@ int main(int argc, const char* argv[]) { } run_asserts(&i, &checked, &wasm, &root, &builder, entry); + + if (output) { + WasmPrinter::printModule(&wasm, output->getStream()); + } } else { run_asserts(&i, &checked, nullptr, &root, nullptr, entry); } |