[kernel] fix a warning that shows up with DEBUG=0

2014-10-23 13:23:56 -07:00
parent 17b1d8772c
commit 9daff06e90
1 changed files with 1 additions and 1 deletions
--- a/kernel/thread.c
+++ b/kernel/thread.c
@@ -591,9 +591,9 @@ void thread_preempt(void)
 */
 void thread_block(void)
 {
+#if THREAD_CHECKS
 	thread_t *current_thread = get_current_thread();

-#if THREAD_CHECKS
 	ASSERT(current_thread->magic == THREAD_MAGIC);
 	ASSERT(current_thread->state == THREAD_BLOCKED);
 	ASSERT(in_critical_section());