ifdef DEBUG a printf

Submitted by:	rdivacky
This commit is contained in:
Suleiman Souhlal 2006-08-19 11:07:22 +00:00
parent 55416ca8f7
commit b273d5aa72

View File

@ -302,7 +302,9 @@ linux_sys_futex(struct thread *td, struct linux_sys_futex_args *args)
ret = futex_wake(f, args->val, NULL);
futex_put(f);
if (op_ret > 0) {
#ifdef DEBUG
printf("second wakeup\n");
#endif
op_ret = 0;
/* Linux always puts there 0 retries */
op_ret += futex_wake(f2, 0, NULL);