Index: kernel/test/synch/semaphore2.c
===================================================================
--- kernel/test/synch/semaphore2.c	(revision 897fd8f11ec6c9c4a63697b4ccc6ab67c8be92f2)
+++ kernel/test/synch/semaphore2.c	(revision 08d4ea2111e5db01d0a6194bd9da4248ee282dc7)
@@ -60,5 +60,5 @@
 static void consumer(void *arg)
 {
-	int rc;
+	errno_t rc;
 	int to;