X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;h=8fa804b0cb669d318e4ad82cbbc095061ef1e707;hb=c27bbbdb32640ba99c35e417f5ae7c0377f747f0;hp=cf0f9b6f152891323df145b820dfc9bfc414e544;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index cf0f9b6..8fa804b 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -53,7 +53,7 @@ userprog_SRC += userprog/gdt.c		# GDT initialization.
 userprog_SRC += userprog/tss.c		# TSS management.
 
 # No virtual memory code yet.
-#vm_SRC = vm/filename.c			# Some file.
+#vm_SRC = vm/file.c			# Some file.
 
 # Filesystem code.
 filesys_SRC  = filesys/filesys.c	# Filesystem core.