#196 Fix Linux build.

2017-11-17 12:59:46 +03:00
parent 420fb88049
commit c8947681d3
5 changed files with 10 additions and 6 deletions
--- a/src/Platform_unix.cpp
+++ b/src/Platform_unix.cpp
@@ -22,6 +22,7 @@
 */

 #include <sched.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 #include <sys/resource.h>