projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Always make the scratch disk an even multiple of a cylinder in size.
[pintos-anon]
/
src
/
utils
/
pintos
diff --git
a/src/utils/pintos
b/src/utils/pintos
index d7870351c0e966a9cf1263539aba2a9390bf55c2..fca610a15c83d6c4cdd1e80062d04b1812f5d1f8 100755
(executable)
--- 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.