diff options
| author | Siddharth <siddu.druid@gmail.com> | 2019-05-17 21:43:50 +0200 |
|---|---|---|
| committer | Alon Zakai <azakai@google.com> | 2019-05-17 12:43:49 -0700 |
| commit | 1184678086b284944bb119a97ca048b64d4078b6 (patch) | |
| tree | 1caedfbaa927e2cb03f46feeead9d48b5cdfb55b /src/tools/wasm-dis.cpp | |
| parent | 1095ef96673f4f33d76da6d58b0ad65c3c257f76 (diff) | |
| download | binaryen-1184678086b284944bb119a97ca048b64d4078b6.tar.gz binaryen-1184678086b284944bb119a97ca048b64d4078b6.tar.bz2 binaryen-1184678086b284944bb119a97ca048b64d4078b6.zip | |
Allow color API to enable and disable colors (#2111)
This is useful for front-ends which wish to selectively enable or
disable coloring.
Also expose these APIs from the C API.
Diffstat (limited to 'src/tools/wasm-dis.cpp')
| -rw-r--r-- | src/tools/wasm-dis.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/wasm-dis.cpp b/src/tools/wasm-dis.cpp index 1dbe97656..6c1ed1524 100644 --- a/src/tools/wasm-dis.cpp +++ b/src/tools/wasm-dis.cpp @@ -39,7 +39,7 @@ int main(int argc, const char* argv[]) { Options::Arguments::One, [](Options* o, const std::string& argument) { o->extra["output"] = argument; - Colors::disable(); + Colors::setEnabled(false); }) .add( "--source-map", |