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