cp ../src/tests/threads/$@.c $@/pintos/src/threads/test.c
$(MAKE) -C $@/pintos/src/threads -s
-(cd $@/pintos/src/threads/build && pintos -v run -q) | tee $@/output
cp ../src/tests/threads/$@.c $@/pintos/src/threads/test.c
$(MAKE) -C $@/pintos/src/threads -s
-(cd $@/pintos/src/threads/build && pintos -v run -q) | tee $@/output