From 71fd36074bd7188f937aca95b4be83640d1afbe0 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 21 Jan 2016 09:38:07 +0100
Subject: [PATCH] add missing header

---
 hermit/tools/netinet/tcp.h | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 hermit/tools/netinet/tcp.h

diff --git a/hermit/tools/netinet/tcp.h b/hermit/tools/netinet/tcp.h
new file mode 100644
index 000000000..0aaa1dd06
--- /dev/null
+++ b/hermit/tools/netinet/tcp.h
@@ -0,0 +1,16 @@
+/* 
+ * Written by the Chair for Operating Systems, RWTH Aachen University
+ * 
+ * NO Copyright (C) 2010-2011, Stefan Lankes
+ * consider these trivial macros to be public domain.
+ * 
+ * These functions are distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ */
+
+#ifndef __NETINET_TCP_H__
+#define __NETINET_TCP_H__
+
+#include <lwip/tcp.h>
+
+#endif /* __NETINET_TCP_H__ */