Clean up temp files on signal.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 12 Jan 2006 17:04:09 +0000 (17:04 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 12 Jan 2006 17:04:09 +0000 (17:04 +0000)
commita6743379d7959d012eb6db2ececc01ece70642d7
treeeaa5eec70bc9dde68fafd66e964fe92fa15273df
parent3fef1de27448b2c1a7829e04d4de4b13c56c97ef
Clean up temp files on signal.
src/utils/pintos