From 63d53938f106541a68b3ed32103e7088649e5d8d Mon Sep 17 00:00:00 2001
From: Daniel Silverstone <dsilvers@digital-scurf.org>
Date: Fri, 9 Jun 2017 20:56:54 +0100
Subject: Include time in GENERIC POLL TIMED

---
 frontends/monkey/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontends/monkey')

diff --git a/frontends/monkey/main.c b/frontends/monkey/main.c
index 0059ff047..716d1ae1a 100644
--- a/frontends/monkey/main.c
+++ b/frontends/monkey/main.c
@@ -287,7 +287,7 @@ static void monkey_run(void)
 
     default:
       LOG("Iterate non-blocking");
-      fprintf(stdout, "GENERIC POLL TIMED\n");
+      fprintf(stdout, "GENERIC POLL TIMED %d\n", schedtm);
       tv.tv_sec = schedtm / 1000; /* miliseconds to seconds */
       tv.tv_usec = (schedtm % 1000) * 1000; /* remainder to microseconds */
       timeout = &tv;
-- 
cgit v1.2.3