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)
commit7fb6b393d8b66432bbbceb75c01660d8d3d32388
tree0df05c196d48652e7aa862ccfb582af543ae9b95
parent9ae5d8b8a120054f577427a61a4adf371bc1612f
Fix bugs in -j and -r options reported by Godmar Back.
src/utils/pintos