From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 12 Apr 2005 05:09:28 +0000 (+0000)
Subject: Clean better.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=9ee4a21c610d0eb8cbfa14ca9115c218259abcf3

Clean better.
---

diff --git a/tests/Makefile b/tests/Makefile
index 456e083..58ca417 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -46,7 +46,7 @@ cd $@ && ../../grading/$(PROJECT)/run-tests
 endef
 
 define clean
-rm -rf $@/pintos
+rm -rf $@
 endef
 
 define apply-patch