projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove patch no longer needed.
[pintos-anon]
/
grading
/
userprog
/
prep-disk
diff --git
a/grading/userprog/prep-disk
b/grading/userprog/prep-disk
index 1d34e5fb1a340ecaac39c084dc3f7c4abeafce8f..f525b07adc38fbfb6bf21d81d469066a809887f3 100755
(executable)
--- a/
grading/userprog/prep-disk
+++ b/
grading/userprog/prep-disk
@@
-2,6
+2,7
@@
use strict;
use Getopt::Long;
use strict;
use Getopt::Long;
+use POSIX;
my ($pintos) = "pintos";
my ($os_disk) = "../../src/userprog/build/os.dsk";
my ($pintos) = "pintos";
my ($os_disk) = "../../src/userprog/build/os.dsk";
@@
-61,5
+62,5
@@
sub put_file {
sub xsystem {
my ($cmd) = @_;
print "$cmd\n";
sub xsystem {
my ($cmd) = @_;
print "$cmd\n";
- system ($cmd) == 0
||
die "command failed\n";
+ system ($cmd) == 0
or
die "command failed\n";
}
}