X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fprep-disk;h=1d34e5fb1a340ecaac39c084dc3f7c4abeafce8f;hb=e5dead5761315aea788cad46aa466a8dc802d614;hp=611fdcce55767142179d6a67dfc5fb728320e00d;hpb=05f84d800faf4a6bbcccff81d96507f79b8b715f;p=pintos-anon

diff --git a/grading/userprog/prep-disk b/grading/userprog/prep-disk
index 611fdcc..1d34e5f 100755
--- a/grading/userprog/prep-disk
+++ b/grading/userprog/prep-disk
@@ -42,9 +42,13 @@ put_file ("sample.txt")
 		 read-normal read-bad-ptr read-boundary read-zero
 		 write-normal write-bad-ptr write-boundary write-zero
 		 multi-child-fd));
-put_file ("child-simple") if $test eq 'exec-once' or $test eq 'exec-multiple';
+put_file ("child-simple")
+    if grep ($_ eq $test,
+	     qw (exec-once exec-multiple
+		 join-simple join-twice));
 put_file ("child-arg") if $test eq 'exec-arg';
 put_file ("child-close") if $test eq 'multi-child-fd';
+put_file ("child-bad") if $test eq 'join-killed';
 
 sub put_file {
     my ($fn) = @_;