X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;fp=tests%2FMakefile;h=b119ffd80021e3c9c6f67cca3a2ede1c8e80d4d4;hb=d0310bffc6d7c6e74bc7e48c9a38c3804aed08e6;hp=5d53e286b71c3e49a657e19350003631d8dfba8f;hpb=364c88f334c3c3047e9fe8a7ab3926506ad21a3e;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index 5d53e28..b119ffd 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,4 +1,4 @@
-TESTS = threads p1 userprog p2 vm p3 filesys p4 
+TESTS = examples threads p1 userprog p2 vm p3 filesys p4
 
 PATH := $(shell pwd)/../src/utils:$(PATH)
 
@@ -52,7 +52,7 @@ threads::
 	$(compile)
 	$(run-tests) TESTS=tests/threads/alarm-single
 	$(clean)
-userprog vm filesys::
+examples userprog vm filesys::
 	$(mk-sandbox)
 	$(compile)
 	$(clean)