X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=866e3642cc340ae6de8ac0d7b1298fe07e9dd04a;hb=29c1ba099f587c7f6fb714c140ed47a69c59566f;hp=3adf8e38ac9f72a9ea6ed4d52a37d2b5180d8153;hpb=d91529429c5d65d66444e5c4f8d323cea6306878;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index 3adf8e3..866e364 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,4 @@
-TESTS = threads p1 userprog p2 vm p3 filesys p4
+TESTS = threads p1 userprog p2 vm p3 filesys p4 
 
 PATH := $(shell pwd)/../src/utils:$(PATH)