X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2FMakefile.build;h=8a7348590772227fc466643b433e39796b2106b7;hp=f6eb9c46cf0e610259f55cf1b50f2c1bcb389c67;hb=b0a700d18f0a0a8c87e1a4fff3a2108e0edb0fbc;hpb=b82bd44f0327c6853f466fad27edc3d4707aea73

diff --git a/src/Makefile.build b/src/Makefile.build
index f6eb9c4..8a73485 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -40,7 +40,6 @@ threads_SRC += threads/switch.S		# Thread switch routine.
 threads_SRC += threads/interrupt.c	# Interrupt core.
 threads_SRC += threads/intr-stubs.S	# Interrupt stubs.
 threads_SRC += threads/synch.c		# Synchronization.
-threads_SRC += threads/paging.c		# Page tables.
 threads_SRC += threads/palloc.c		# Page allocator.
 threads_SRC += threads/malloc.c		# Subpage allocator.
 threads_SRC += threads/start.S		# Startup code.
@@ -76,6 +75,7 @@ filesys_SRC += filesys/fsutil.c		# Utilities.
 
 # User process code.
 userprog_SRC  = userprog/addrspace.c	# Address spaces.
+userprog_SRC += userprog/pagedir.c	# Page directories.
 userprog_SRC += userprog/exception.c	# User exception handler.
 userprog_SRC += userprog/syscall.c	# System call handler.
 userprog_SRC += userprog/gdt.c		# GDT initialization.