-(cd $@/pintos/src/threads/build && pintos -v run -q) | tee $@/output
grep -q '$@: PASS' $@/output
$(clean)
userprog: PROJECT = userprog
userprog::
-(cd $@/pintos/src/threads/build && pintos -v run -q) | tee $@/output
grep -q '$@: PASS' $@/output
$(clean)
userprog: PROJECT = userprog
userprog::