From e9e34e086feed8999cca65370662e4e50c71d513 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 5 Oct 2015 10:31:51 +0100
Subject: [PATCH] sys/syscalls and gettid

---
 config.h.cmake | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/config.h.cmake b/config.h.cmake
index 4cc167a35..37a125dd5 100644
--- a/config.h.cmake
+++ b/config.h.cmake
@@ -1407,6 +1407,7 @@ signal. */
 /* Define to 1 if you have the <sys/socket.h> header file. */
 #ifndef HAVE_SYS_SOCKET_H
 
+
 #cmakedefine HAVE_SYS_SOCKET_H ${HAVE_SYS_SOCKET_H}
 #endif
 
@@ -1415,6 +1416,11 @@ signal. */
 #cmakedefine HAVE_SYS_STAT_H ${HAVE_SYS_STAT_H}
 #endif
 
+/* Define to 1 if you have the <sys/syscall.h> header file. */
+#ifndef HAVE_SYS_SYSCALL_H
+#cmakedefine HAVE_SYS_SYSCALL_H ${HAVE_SYS_SYSCALL_H}
+#endif
+
 /* Define to 1 if you have the <sys/times.h> header file. */
 #ifndef HAVE_SYS_TIMES_H
 #cmakedefine HAVE_SYS_TIMES_H ${HAVE_SYS_TIMES_H}