[Jde-dev] pthread_mutex_init

[David Lobato]

De nuevo compilando para mac me topo con que el inicializador que
usamos para los mutex no es portable y no está definido.
Hablo de PTHREAD_MUTEX_TIMED_NP, que de hecho ya no aparece en el man
de pthreads.

Dado que esto viene de antiguo y creo que no hay motivos especificos
para seleccionar este tipo de mutex y no otro, opini que habría que
sustituirlo por NULL, que selecciona un mutex estandar. Esto lo hace
compatible con mac.

¿Pegas?

David.