aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPjotr Prins2020-10-04 08:28:40 +0100
committerPjotr Prins2020-11-29 08:50:44 +0000
commit9c1f593711c1d4bc5e583453268c92380df4797f (patch)
tree8dd333b1bc1ecd06b31dfddbf1bc7d306ddad925 /src
parentb298c466171006dfb1196c74d7017d0dc8e45492 (diff)
downloadpangemma-9c1f593711c1d4bc5e583453268c92380df4797f.tar.gz
Silence means silent!
Diffstat (limited to 'src')
-rw-r--r--src/debug.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/debug.h b/src/debug.h
index 25ba673..ff22756 100644
--- a/src/debug.h
+++ b/src/debug.h
@@ -118,7 +118,7 @@ inline void fail_msg(std::string msg) {
std::raise(SIGINT); // keep stack trace for gdb
}
-#define info_msg(msg) cerr << "**** INFO: " << msg << "." << endl;
+#define info_msg(msg) if (!is_quiet_mode()) cerr << "**** INFO: " << msg << "." << endl;
#define msg(msg) info_msg(msg);
#if defined NDEBUG