diff options
| -rw-r--r-- | src/wasm-shell.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/wasm-shell.cpp b/src/wasm-shell.cpp index fd83d5027..a2fcdc4f7 100644 --- a/src/wasm-shell.cpp +++ b/src/wasm-shell.cpp @@ -212,6 +212,11 @@ int main(int argc, char **argv) { } } - if (debug) std::cerr << "done.\n"; + if (debug) { + Colors::green(std::cerr); + Colors::bold(std::cerr); + std::cerr << "\ndone.\n"; + Colors::normal(std::cerr); + } } |