From 79e5adfad7b797250155cd0726a2f0930008af46 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 7 Aug 2005 23:00:50 +0000
Subject: [PATCH] Check for execinfo.h, it's not always there (actually, only
 under linux)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1630 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 configure.ac | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index cef2f38186..f1ddd70e1e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -35,7 +35,8 @@ AC_CHECK_HEADERS([sys/socket.h \
                   sys/stat.h \
 		  windows.h winsock.h winsock2.h \
 		  sys/time.h \
-		  errno.h unistd.h ])
+		  errno.h unistd.h \
+		  execinfo.h])
 AC_CHECK_FUNCS([gettimeofday usleep \
                 getdtablesize \
                 sysconf])
-- 
2.20.1