Index: test/synch/semaphore2/test.c
===================================================================
--- test/synch/semaphore2/test.c	(revision 078a0a1e251c250bb45a04e905be0063720202c3)
+++ test/synch/semaphore2/test.c	(revision 6f8a42644f9f520c53d9e649da934ac91623d29f)
@@ -93,5 +93,4 @@
 void test(void)
 {
-	context_t ctx;
 	__u32 i, k;