From 4d82d1ae95ee33dae80f71021ec15da03bcdde73 Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Wed, 29 Aug 2018 22:54:41 +0200 Subject: Add scheduler debug logs --- params.h | 1 + 1 file changed, 1 insertion(+) (limited to 'params.h') 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; -- cgit v1.2.3-54-g00ecf