X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.inc;h=137beaab2a20a3f87111ed33174ebeca4d9abf8b;hb=f6f0ec4dd544c801155e1916165f1af4262cc8c4;hp=c4027b54cdb32864dd60b80262e61b9ffe51c8e2;hpb=102ba3ee754e0cdc61ad66a3322e92e3d15fe171;p=pintos-anon

diff --git a/src/Makefile.inc b/src/Makefile.inc
index c4027b5..137beaa 100644
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -45,6 +45,7 @@ FILESYS_SRC  = filesys.c	# Filesystem core.
 FILESYS_SRC += file.c		# Files.
 FILESYS_SRC += directory.c	# Directories.
 FILESYS_SRC += filehdr.c	# File headers (inodes).
+FILESYS_SRC += fsutil.c		# Utilities.
 
 # User process code.
 USERPROG_SRC  = addrspace.c	# Address spaces.