Changes in kernel/test/synch/semaphore1.c [a000878c:cb01e1e] in mainline

File:

• kernel/test/synch/semaphore1.c (modified) (1 diff)

kernel/test/synch/semaphore1.c

@@ -70 +70 @@
 }
 
-const char *test_semaphore1(void)
+char *test_semaphore1(void)
 {
         int i, j, k;
-        atomic_count_t consumers;
-        atomic_count_t producers;
+        int consumers, producers;
         
         waitq_initialize(&can_start);