From 9ee4a21c610d0eb8cbfa14ca9115c218259abcf3 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 12 Apr 2005 05:09:28 +0000 Subject: [PATCH] Clean better. --- tests/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2