Fix bogus return value from `pintos' utility when calling Bochs
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 14 Jan 2005 07:28:29 +0000 (07:28 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 14 Jan 2005 07:28:29 +0000 (07:28 +0000)
and deal with utilities that expected this behavior.


No differences found