X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2FMakefile.vars;h=55ef2b2f6d366d4d7dab80cf1792bac9e912b547;hp=1ec24db81deb7b3ba0f28ae331673577ed8b91e0;hb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;hpb=dca7bfbc436c5305ef8f0df6fbe1faba89a0012e

diff --git a/src/threads/Makefile.vars b/src/threads/Makefile.vars
index 1ec24db..55ef2b2 100644
--- a/src/threads/Makefile.vars
+++ b/src/threads/Makefile.vars
@@ -1,2 +1,2 @@
 DEFINES = 
-SUBDIRS = threads devices lib
+SUBDIRS = threads devices lib lib/kernel