X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;fp=tests%2FMakefile;h=ce215b3fd00247464df04e20264e2cd663fe99c6;hb=0c1ab0359b2313d6238659608dd84935015d8ec7;hp=2450e563b6d2cc0ee24f206dfcb5d4dee0a35dfe;hpb=58655f9d611ab45741b1defc8ee9350b866c29a3;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index 2450e56..ce215b3 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,4 @@
-TESTS = threads p1-1 p1-2 list stdlib userprog p2 vm filesys
+TESTS = threads p1-1 p1-2 list stdlib stdio userprog p2 vm filesys
 
 PATH := $(shell pwd)/../src/utils:$(PATH)
 
@@ -71,7 +71,7 @@ p1-2::
 	$(clean)
 
 list: PROJECT = threads
-list stdlib::
+list stdlib stdio::
 	$(mk-sandbox)
 	cp ../src/tests/threads/$@.c $@/pintos/src/threads/test.c
 	$(MAKE) -C $@/pintos/src/threads -s