summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-06-18 22:49:26 +0100
committerGitHub <noreply@github.com>2016-06-18 22:49:26 +0100
commit509319ac42a18b5a120ae9e45daac624affc07e1 (patch)
tree3315877880b1832b0e879ef4fde3fd13334bb95a /src
parent0b19905878d0a34964163431257284ed380dc5bc (diff)
downloadbinaryen-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.cpp9
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);
}