Allow disks to come from build/ directory as well as current
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 21:49:47 +0000 (21:49 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 21:49:47 +0000 (21:49 +0000)
commit0b1fc6a1fee3a2754111860f4659b22ed8fe9888
treeefdce1ec1190c21d921622b0b7832503fd6c4338
parent400c8c5ba0d309716ad7d347dff067ddb2f99a74
Allow disks to come from build/ directory as well as current
directory, by default.
src/utils/pintos