Move pagedir stuff into userprog.

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index f6eb9c46cf0e610259f55cf1b50f2c1bcb389c67..8a7348590772227fc466643b433e39796b2106b7 100644 (file)
--- 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.