X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2FMake.vars;fp=src%2Fthreads%2FMake.vars;h=55ef2b2f6d366d4d7dab80cf1792bac9e912b547;hb=d46fd132092304422193b717d9a60641604cc1b5;hp=0000000000000000000000000000000000000000;hpb=bbca49d728013a8d7848d75c7e4bc25b67b60d89;p=pintos-anon diff --git a/src/threads/Make.vars b/src/threads/Make.vars new file mode 100644 index 0000000..55ef2b2 --- /dev/null +++ b/src/threads/Make.vars @@ -0,0 +1,2 @@ +DEFINES = +SUBDIRS = threads devices lib lib/kernel