Always make the scratch disk an even multiple of a cylinder in size.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 16 Oct 2008 22:49:48 +0000 (22:49 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 16 Oct 2008 22:49:48 +0000 (22:49 +0000)
commit8349a4cbeec56e4b497d98064ce51aba80c1f258
treec8b4fb36a440a3d00381f5ca3293513d45d7bcd9
parent3edcfedb8e62970f3293fa676b6691f8658c3c11
Always make the scratch disk an even multiple of a cylinder in size.

The pintos script tried to do so before but "print" and "syswrite"
are buffered differently and interfere with one another.

Thanks to Karan Misra <kmisra@stanford.edu> for pointing out the
problem and confirming the solution.
src/utils/pintos