also autogenerated

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@4862 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/gras_config.h.in b/src/gras_config.h.in
index 337d741..d2edc28 100644 (file)
--- a/src/gras_config.h.in
+++ b/src/gras_config.h.in
@@ -80,9 +80,6 @@
 /* Define to 1 if you have the <jni.h> header file. */
 #undef HAVE_JNI_H
 
-/* Define to 1 if you have the `pthread' library (-lpthread). */
-#undef HAVE_LIBPTHREAD
-
 /* Define to 1 if you have the `makecontext' function. */
 #undef HAVE_MAKECONTEXT
 
@@ -101,6 +98,10 @@
 /* Indicates whether we have the CSDP library or not */
 #undef HAVE_SDP
 
+/* Define if the sem_timedwait is avaible or not (part of XPG6 standard only)
+   */
+#undef HAVE_SEM_TIMEDWAIT
+
 /* Define to 1 if you have the `signal' function. */
 #undef HAVE_SIGNAL