summaryrefslogtreecommitdiff
path: root/params.h
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2018-08-29 22:54:41 +0200
committertomsmeding <tom.smeding@gmail.com>2018-08-29 22:54:41 +0200
commit4d82d1ae95ee33dae80f71021ec15da03bcdde73 (patch)
treef267b8f9c88e78fc521819739dcba8ab389057ba /params.h
parent34ab0451bdd1e7496d607acb6ee209586ee7e86e (diff)
Add scheduler debug logs
Diffstat (limited to 'params.h')
-rw-r--r--params.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/params.h b/params.h
index c3e6d5e..74c3db6 100644
--- a/params.h
+++ b/params.h
@@ -13,3 +13,4 @@ const int timeout_msec = 60000;
const bool multilog_fancy = true;
const bool referee_verbose = false;
+const bool scheduler_verbose = false;