From 86c4e807f469b0133ec959a700ce6b76be31c2d0 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Thu, 5 Nov 2015 13:38:51 -0800 Subject: nicer note at end of shell --- src/wasm-shell.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/wasm-shell.cpp') 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); + } } -- cgit v1.2.3