From: Ben Pfaff Date: Fri, 3 Nov 2006 02:50:36 +0000 (+0000) Subject: Delete .tar, .get-output, and .get-errors files on "clean" target. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b13a0f40a52b47d3ceea92887adc9543c1d94aed;hp=b13a0f40a52b47d3ceea92887adc9543c1d94aed;p=pintos-anon Delete .tar, .get-output, and .get-errors files on "clean" target. Thanks to Godmar Back for pointing out the problem. ---