X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fprep-disk;h=f525b07adc38fbfb6bf21d81d469066a809887f3;hb=e2c7fa52b1352b6fe736050e30c3a9a9ad633307;hp=182c561460e9005b41054ba42ff3e3f5d501b641;hpb=51b7d74c2fce5c54cd69b630c8be035db5ff29ba;p=pintos-anon

diff --git a/grading/userprog/prep-disk b/grading/userprog/prep-disk
index 182c561..f525b07 100755
--- a/grading/userprog/prep-disk
+++ b/grading/userprog/prep-disk
@@ -2,6 +2,7 @@
 
 use strict;
 use Getopt::Long;
+use POSIX;
 
 my ($pintos) = "pintos";
 my ($os_disk) = "../../src/userprog/build/os.dsk";
@@ -40,7 +41,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-bad-ptr 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) = @_;
@@ -53,5 +62,5 @@ sub put_file {
 sub xsystem {
     my ($cmd) = @_;
     print "$cmd\n";
-    system ($cmd) == 0 || die "command failed\n";
+    system ($cmd) == 0 or die "command failed\n";
 }