Output of debug info each second was disabled
due to recent patches.
No functional change.
Signed-off-by: Marco Costalba <mcostalba@gmail.com>
static int lastInfoTime;
int e = elapsed_search_time();
static int lastInfoTime;
int e = elapsed_search_time();
- // Print debug information every second
- if (get_system_time() - lastInfoTime >= 1000)
+ // Print debug information every one second
+ if (!lastInfoTime || get_system_time() - lastInfoTime >= 1000)
{
lastInfoTime = get_system_time();
{
lastInfoTime = get_system_time();