X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=tests%2FMakefile;h=2450e563b6d2cc0ee24f206dfcb5d4dee0a35dfe;hp=efea7a5078db3e7da0cb6621a588f4f0ed9b313f;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c

diff --git a/tests/Makefile b/tests/Makefile
index efea7a5..2450e56 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,4 @@
-TESTS = threads p1-1 p1-2 p1-3 list stdlib userprog p2 vm filesys
+TESTS = threads p1-1 p1-2 list stdlib userprog p2 vm filesys
 
 PATH := $(shell pwd)/../src/utils:$(PATH)
 
@@ -67,13 +67,6 @@ p1-2: PROJECT = threads
 p1-2::
 	$(mk-sandbox)
 	$(apply-patch) ../solutions/p1-2.patch
-	$(run-tests) -d join.*
-	$(clean)
-
-p1-3: PROJECT = threads
-p1-3::
-	$(mk-sandbox)
-	$(apply-patch) ../solutions/p1-3.patch
 	$(run-tests) -d priority.*
 	$(clean)
 
@@ -90,7 +83,7 @@ userprog: PROJECT = userprog
 userprog::
 	$(prep-grading)
 	$(mk-sandbox)
-	$(apply-patch) ../solutions/p1-2.patch
+	$(apply-patch) ../solutions/p2-null.patch
 	$(run-tests) null
 	$(clean)