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

diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests
index 4a5820d..a2427a1 100644
--- a/src/tests/vm/Make.tests
+++ b/src/tests/vm/Make.tests
@@ -1,7 +1,5 @@
 # -*- makefile -*-
 
-PINTOSFLAGS += --swap-disk=4
-
 tests/vm_TESTS = $(addprefix tests/vm/,pt-grow-stack pt-grow-pusha	\
 pt-grow-bad pt-big-stk-obj pt-bad-addr pt-bad-read pt-write-code	\
 pt-write-code2 pt-grow-stk-sc page-linear page-parallel page-merge-seq	\
@@ -91,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