From 2c739adb26ef202b6c5b56177cf90a57395aa217 Mon Sep 17 00:00:00 2001
From: "Jan (janneke) Nieuwenhuizen" <janneke@gnu.org>
Date: Thu, 5 May 2022 23:26:46 +0200
Subject: [PATCH] time.c: include sys/time for gettimeofday

---
 lib/linux/time.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/linux/time.c b/lib/linux/time.c
index eda2cd0b..f4931970 100644
--- a/lib/linux/time.c
+++ b/lib/linux/time.c
@@ -21,6 +21,7 @@
 #include <linux/syscall.h>
 #include <syscall.h>
 #include <time.h>
+#include <sys/time.h>
 #include <stdlib.h>
 
 time_t