From 84fd995f431f55e8660d3c9ab7f2d82a2d943815 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: Include <sys/time.h>.
---
 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