6 my ($pintos) = "pintos";
7 my ($os_disk) = "../../src/userprog/build/os.dsk";
10 GetOptions ("os-disk=s" => \$os_disk,
11 "fs-disk=s" => \$fs_disk,
12 "help" => sub { usage (0) })
13 or die "option parsing failed; use --help for help\n";
15 if (!defined $fs_disk) {
16 die "output disk name expected; use --help for help\n"
18 $fs_disk = shift @ARGV;
22 print STDERR "$os_disk: stat: $!\n";
23 print STDERR "perhaps you should `make' in ../../src/userprog?\n";
30 xsystem ("$pintos make-disk '$fs_disk' 2");
32 put_file (shift (@ARGV));
37 my ($cmd) = "$pintos -v --os-disk='$os_disk' --fs-disk='$fs_disk' put";
38 $cmd .= " -f", $formatted = 1 if !$formatted;
46 system ($cmd) == 0 || die "command failed\n";