X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=58ca41791bf3cfb5568a673b87cf9fa8bd248f72;hb=5d1a6ed11fee1efccec0b7d8cb30bdc42a52c584;hp=456e083c81b17623978c9b9e15d94994d7479643;hpb=c38d10fc2f16ee7099afb2e4e3e60a5ac3a2533f;p=pintos-anon

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