X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2FMakefile.build;h=bd619f47efec13a3d53e58f43bfd931146c4dfd5;hp=1c92b77d2783b36e757626687b9fe06d5ca4c4b1;hb=f0612244c44f4b4f0bc79e3fc882e9f74bd4a3f4;hpb=7f2927ecf1a95b88002b344c5427644e75467beb

diff --git a/src/Makefile.build b/src/Makefile.build
index 1c92b77..bd619f4 100644
--- 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.