From 79e71200b56db86a472cebdfdb307a30b147928e Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 22 Aug 2016 16:04:49 +0200
Subject: [PATCH] remove compiler warnings

---
 hermit/tools/proxy.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index d7d5789cb..7358c0c01 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -33,6 +33,7 @@
 #include <signal.h>
 #include <fcntl.h>
 #include <errno.h>
+#include <sched.h>
 #include <sys/types.h>
 #include <sys/socket.h>
 #include <sys/wait.h>