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/passes | |
| 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/passes')
| -rw-r--r-- | src/passes/pass.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/passes/pass.cpp b/src/passes/pass.cpp index bb1a062e7..84914f819 100644 --- a/src/passes/pass.cpp +++ b/src/passes/pass.cpp @@ -428,7 +428,7 @@ static void dumpWast(Name name, Module* wasm) { fullName += std::to_string(getpid()) + '-'; #endif fullName += numstr + "-" + name.str + ".wasm"; - Colors::disable(); + Colors::setEnabled(false); ModuleWriter writer; writer.setBinary(false); // TODO: add an option for binary writer.write(*wasm, fullName); |