X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;h=017267f688b14a356d5c8556ecae12956efd29c6;hb=993c1d9f4452e2edd851f3175dfdf317f18bdb9f;hp=0293a0f5e868f35ab65f7ef8dd40166cb2864e2d;hpb=b6b1e6db07a20a0b3025c2ae62a58e80c1af841b;p=pintos-anon diff --git a/src/Makefile.build b/src/Makefile.build index 0293a0f..017267f 100644 --- a/src/Makefile.build +++ b/src/Makefile.build @@ -52,7 +52,7 @@ lib_kernel_SRC += lib/kernel/console.c # printf(), putchar(). filesys_SRC = filesys/filesys.c # Filesystem core. filesys_SRC += filesys/file.c # Files. filesys_SRC += filesys/directory.c # Directories. -filesys_SRC += filesys/filehdr.c # File headers (inodes). +filesys_SRC += filesys/inode.c # File headers. filesys_SRC += filesys/fsutil.c # Utilities. # User process code.