X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fvm%2FMake.tests;h=a2427a165f799cc5b5fbfbfd31de3fced4864d6f;hp=460bfd0706cf60b3bcf41cf4a6be051671998a41;hb=3146439436229fe48e325caa9a140d05d8ac2897;hpb=1c765c09e567d3da51d5249932daa71f8a74ff9d

diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests
index 460bfd0..a2427a1 100644
--- a/src/tests/vm/Make.tests
+++ b/src/tests/vm/Make.tests
@@ -89,6 +89,5 @@ tests/vm/page-merge-par.output: TIMEOUT = 600
 tests/vm/zeros:
 	dd if=/dev/zero of=$@ bs=1024 count=6
 
-
-
-
+clean::
+	rm -f tests/vm/zeros