X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=c71ebc20ab4ec0b31bc29bf72e298c2ca48e1678;hb=53641f9bb07aa127b2b5e402e28b7421ce8a7f3b;hp=d7870351c0e966a9cf1263539aba2a9390bf55c2;hpb=ef87ec47544e7a120d19211b6332d41b11403992;p=pintos-anon diff --git a/src/utils/pintos b/src/utils/pintos index d787035..c71ebc2 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -259,7 +259,8 @@ sub prepare_scratch_disk { foreach @puts; # Write end-of-archive marker. - print { $disks{SCRATCH}{HANDLE} } "\0" x 1024; + write_fully ($disks{SCRATCH}{HANDLE}, $disks{SCRATCH}{FILE_NAME}, + "\0" x 1024); } # Make sure the scratch disk is big enough to get big files. @@ -479,6 +480,7 @@ cpu: ips=1000000 megs: $mem log: bochsout.txt panic: action=fatal +user_shortcut: keys=ctrlaltdel EOF print BOCHSRC "gdbstub: enabled=1\n" if $debug eq 'gdb'; if ($realtime) {