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

diff --git a/configure.ac b/configure.ac
index cef2f38..f1ddd70 100644 (file)
--- 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])