From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 11 Nov 2006 14:41:59 +0000 (+0000)
Subject: Also verify that running "make clean" deletes all the files in the
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ae0ea8865c32bac7f2cfd891dc9c9d8fad0a7a8;hp=9ae0ea8865c32bac7f2cfd891dc9c9d8fad0a7a8;p=pintos-anon

Also verify that running "make clean" deletes all the files in the
build directory except for the Makefile itself.
---