X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=58ca41791bf3cfb5568a673b87cf9fa8bd248f72;hb=9ee4a21c610d0eb8cbfa14ca9115c218259abcf3;hp=456e083c81b17623978c9b9e15d94994d7479643;hpb=7a3dff52c8a44deeadd071ea93f19b9cee2a67fa;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