1--- src/dbinc/mutex_int.h.orig 2013-09-09 15:35:08 UTC 2+++ src/dbinc/mutex_int.h 3@@ -596,7 +596,7 @@ MUTEX_SET(int *tsl) { 4 : "=&r" (__r), "+r" (tsl) 5 : 6 : "cr0", "memory"); 7- return (int)tsl; 8+ return (tsl != 0); 9 } 10 11 static inline int 12 13