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?a=commitdiff_plain;h=73cb9dc9c53d48c0ab793c340e38b9de4622ae54;p=pintos-anon

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