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)
commitf85974dc8aa26e01529166d63745293db7c02fc8
tree54009d9eab89348aa5d9d7633d592c48ff1aae9e
parentcd1b385944eded6f320251c2353ccecd74d1abe9
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