Clean better.

[pintos-anon] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index 456e083c81b17623978c9b9e15d94994d7479643..58ca41791bf3cfb5568a673b87cf9fa8bd248f72 100644 (file)
--- 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