-list: PROJECT = threads
-list stdlib::
- $(mk-sandbox)
- 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
- grep -q '$@: PASS' $@/output
- $(clean)