Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 5b6c03370fd0afc552e341134e2e6161f611a180)
+++ kernel/Makefile	(revision 2e16033115d5c1a9a9095d87b471d2db4bf1dc88)
@@ -305,8 +305,7 @@
 		test/synch/semaphore1.c \
 		test/synch/semaphore2.c \
-		test/synch/rcu1.c \
-		test/synch/workqueue1.c \
 		test/synch/workqueue2.c \
 		test/synch/workqueue3.c \
+		test/synch/rcu1.c \
 		test/print/print1.c \
 		test/print/print2.c \