X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7d1e64a60320ee4f8ceccaee1903ce5110107098..12dadf77a3ab1668ef9e4783ee69921b833509b2:/src/gras_config.h.in

diff --git a/src/gras_config.h.in b/src/gras_config.h.in
index d2edc2813e..2ffed4b8da 100644
--- a/src/gras_config.h.in
+++ b/src/gras_config.h.in
@@ -86,6 +86,10 @@
 /* Define to 1 if you have the <memory.h> header file. */
 #undef HAVE_MEMORY_H
 
+/* Define if pthread_mutex_timedlock() is avaible or not (part of XPG6
+   standard only?) */
+#undef HAVE_MUTEX_TIMEDLOCK
+
 /* Define to 1 if you have the `popen' function. */
 #undef HAVE_POPEN
 
@@ -98,8 +102,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)
-   */
+/* Define if sem_init() is avaible or not (part of XPG6 standard only) */
+#undef HAVE_SEM_INIT
+
+/* Define if sem_timedwait() is avaible or not (part of XPG6 standard only) */
 #undef HAVE_SEM_TIMEDWAIT
 
 /* Define to 1 if you have the `signal' function. */