A distraction, the SIMIX_process_create() function takes only six parameters.

[simgrid.git] / src / gras_config.h.in

diff --git a/src/gras_config.h.in b/src/gras_config.h.in
index d2edc28..2ffed4b 100644 (file)
--- 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. */