projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7a3dff5)
Clean better.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 12 Apr 2005 05:09:28 +0000 (05:09 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 12 Apr 2005 05:09:28 +0000 (05:09 +0000)
tests/Makefile patch | blob | history

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
Pintos public repository