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