X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;fp=tests%2FMakefile;h=866e3642cc340ae6de8ac0d7b1298fe07e9dd04a;hb=2d3b563562776c2ed4ea93a5f183bb2f82ffd313;hp=3adf8e38ac9f72a9ea6ed4d52a37d2b5180d8153;hpb=29959b6e80cab13fe410af89124d9c93fa33ca9b;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)