Regenerate.

diff --git a/config.hin b/config.hin
index 210babcdb9d6445c1b7a47cbb351f275d868e720..a4ba5bc04db3d5db9d2907e7545382a7f0050ee3 100644 (file)
--- a/config.hin
+++ b/config.hin
@@ -1499,6 +1499,9 @@
 #ifndef __EXTENSIONS__
 # undef __EXTENSIONS__
 #endif
+#ifndef _POSIX_PTHREAD_SEMANTICS
+# undef _POSIX_PTHREAD_SEMANTICS
+#endif
 
 /* Define to rpl_ if the getcwd replacement function should be used. */
 #undef __GETCWD_PREFIX