From f58f65c30de315d4419f69a92a708cbed797ff37 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex@adnab.me>
Date: Sat, 30 Jul 2016 23:17:12 +0200
Subject: Release mode (enables some optimizations) ; fix tests.

---
 src/kernel/user/syscall.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/kernel/user/syscall.c')

diff --git a/src/kernel/user/syscall.c b/src/kernel/user/syscall.c
index 9497bf2..e89f62d 100644
--- a/src/kernel/user/syscall.c
+++ b/src/kernel/user/syscall.c
@@ -325,6 +325,7 @@ uint32_t select_sc(sc_args_t args) {
 			if (h) {
 				fds[i].got_flags = file_poll(h, &wait_objs[n_wait_objs]);
 				if (wait_objs[n_wait_objs]) n_wait_objs++;
+				dbg_printf("KERNEL fds[%d].got_flags = 0x%p  (fd %d)\n", i, fds[i].got_flags,fds[i].fd);
 				if (fds[i].got_flags & fds[i].req_flags) ret = true;
 			}
 		}
-- 
cgit v1.2.3