Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / userprog / prep-disk

diff --git a/grading/userprog/prep-disk b/grading/userprog/prep-disk
index 1d34e5fb1a340ecaac39c084dc3f7c4abeafce8f..39d078eba540b0e82a950eafe47dfb4b1bc6b161 100755 (executable)
--- 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";
@@ -45,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) = @_;
@@ -61,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";
 }