From 557b562047706bacb7d362cc55821e94253f0f7d Mon Sep 17 00:00:00 2001
From: Andreas Suter <andreas.suter@psi.ch>
Date: Mon, 14 May 2018 11:12:54 +0200
Subject: [PATCH] added missing header file.

---
 src/external/libCuba/src/common/Fork.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/external/libCuba/src/common/Fork.c b/src/external/libCuba/src/common/Fork.c
index ac7d3047..51b18884 100644
--- a/src/external/libCuba/src/common/Fork.c
+++ b/src/external/libCuba/src/common/Fork.c
@@ -6,6 +6,8 @@
 		last modified 25 Sep 13 th
 */
 
+#include <sys/select.h>
+
 #define MINSLICE 10
 #define MINCORES 1
 /*#define MINCORES 2*/