tests/threads/batch-scheduler.o: ../../tests/threads/batch-scheduler.c \
 ../../lib/stdio.h ../../lib/debug.h ../../lib/stdarg.h \
 ../../lib/stdbool.h ../../lib/stddef.h ../../lib/stdint.h \
 ../../lib/kernel/stdio.h ../../tests/threads/tests.h \
 ../../threads/malloc.h ../../threads/synch.h ../../lib/kernel/list.h \
 ../../threads/thread.h ../../devices/batch-scheduler.c \
 ../../lib/random.h
