X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=grading%2Fuserprog%2FMake.base;h=1e04ab80a14d6a2710bb54d771eeb6a849a0ef08;hp=e0cad442f1f754fa4759f1343da3a0d06d84e9e1;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c

diff --git a/grading/userprog/Make.base b/grading/userprog/Make.base
index e0cad44..1e04ab8 100644
--- a/grading/userprog/Make.base
+++ b/grading/userprog/Make.base
@@ -15,9 +15,9 @@ null: null.o
 	$(CC) $(LDFLAGS) $^ $(LDLIBS) -o $@
 null.dsk: null	
 
-exec-once.dsk exec-multiple.dsk join-simple.dsk join-twice.dsk: child-simple
+exec-once.dsk exec-multiple.dsk wait-simple.dsk wait-twice.dsk: child-simple
 exec-arg.dsk: child-arg
-join-killed.dsk: child-bad
+wait-killed.dsk: child-bad
 multi-child-fd.dsk: child-close
 
 %.dsk: %