X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fprep-disk;h=1d34e5fb1a340ecaac39c084dc3f7c4abeafce8f;hb=429a6ff164bf9e82f7e867c909865928aaf007aa;hp=c775a4e7ae14b53901613a8b710ec9f1f7037597;hpb=4d4065366785163248112abe34ac9a1ecd4b08b5;p=pintos-anon diff --git a/grading/userprog/prep-disk b/grading/userprog/prep-disk index c775a4e..1d34e5f 100755 --- a/grading/userprog/prep-disk +++ b/grading/userprog/prep-disk @@ -40,7 +40,15 @@ put_file ("sample.txt") qw (open-normal open-boundary open-twice close-normal close-twice read-normal read-bad-ptr read-boundary read-zero - write-normal write-boundary write-zero)); + write-normal write-bad-ptr write-boundary write-zero + multi-child-fd)); +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) = @_;