diff options
-rw-r--r-- | sys/kern/kern_synch.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/kern/kern_synch.c b/sys/kern/kern_synch.c index b4a657117d7..ce05eac5512 100644 --- a/sys/kern/kern_synch.c +++ b/sys/kern/kern_synch.c @@ -1,4 +1,4 @@ -/* $OpenBSD: kern_synch.c,v 1.53 2003/12/23 09:37:57 deraadt Exp $ */ +/* $OpenBSD: kern_synch.c,v 1.54 2004/01/26 01:27:02 deraadt Exp $ */ /* $NetBSD: kern_synch.c,v 1.37 1996/04/22 01:38:37 christos Exp $ */ /*- @@ -707,7 +707,7 @@ mi_switch() */ microtime(&tv); if (timercmp(&tv, &runtime, <)) { -#ifdef DEBUG +#if 0 printf("time is not monotonic! " "tv=%ld.%06ld, runtime=%ld.%06ld\n", tv.tv_sec, tv.tv_usec, runtime.tv_sec, runtime.tv_usec); |