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