Fix bugs in -j and -r options reported by Godmar Back.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 31 Mar 2007 14:40:52 +0000 (14:40 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 31 Mar 2007 14:40:52 +0000 (14:40 +0000)
commit07fcf217b9e63854cc524f903f9ffe1c83ea7ac5
tree781c92e840eaae95728890553cf00400cf5b789b
parenteae29259cd81d3d2e1426eb9a3f9c47eb06d0a88
Fix bugs in -j and -r options reported by Godmar Back.
src/utils/pintos