X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=grading%2Fuserprog%2Fprep-disk;h=39d078eba540b0e82a950eafe47dfb4b1bc6b161;hp=f525b07adc38fbfb6bf21d81d469066a809887f3;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c diff --git a/grading/userprog/prep-disk b/grading/userprog/prep-disk index f525b07..39d078e 100755 --- a/grading/userprog/prep-disk +++ b/grading/userprog/prep-disk @@ -46,10 +46,10 @@ put_file ("sample.txt") put_file ("child-simple") if grep ($_ eq $test, qw (exec-once exec-multiple - join-simple join-twice)); + wait-simple wait-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'; +put_file ("child-bad") if $test eq 'wait-killed'; sub put_file { my ($fn) = @_;