Include pthread_time on windows for clock_gettime

diff --git a/src/client/game.c b/src/client/game.c
index e96ed06f9b2d91064840f566474db164922a85dd..b45499a98cce2ce3a60ce54ce621e59f50a600fa 100644 (file)
--- a/src/client/game.c
+++ b/src/client/game.c
@@ -24,6 +24,10 @@
 #include "day.h"
 #include "interrupt.h"
 
+#ifdef _WIN32
+#include <pthread_time.h>
+#endif
+
 int game_fps = 0;
 
 void game_render(f64 dtime)