Pick up prototype for gettimeofday() for non-Windows systems.

diff --git a/src/io/record-play-movie.c b/src/io/record-play-movie.c
index 73e425b..f216416 100644 (file)
--- a/src/io/record-play-movie.c
+++ b/src/io/record-play-movie.c
@@ -20,6 +20,11 @@
 
 #ifdef WINDOWS
 #include <windows.h>
+#else
+#include "system/h-basic.h"
+#ifdef HAVE_SYS_TIME_H
+#include <sys/time.h>
+#endif
 #endif
 
 #define RINGBUF_SIZE 1024 * 1024