Rename addrspace to process.

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index 1c92b77d2783b36e757626687b9fe06d5ca4c4b1..bd619f47efec13a3d53e58f43bfd931146c4dfd5 100644 (file)
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -51,7 +51,7 @@ filesys_SRC += filesys/inode.c                # File headers.
 filesys_SRC += filesys/fsutil.c                # Utilities.
 
 # User process code.
-userprog_SRC  = userprog/addrspace.c   # Address spaces.
+userprog_SRC  = userprog/process.c     # Process loading.
 userprog_SRC += userprog/pagedir.c     # Page directories.
 userprog_SRC += userprog/exception.c   # User exception handler.
 userprog_SRC += userprog/syscall.c     # System call handler.