Add comments.
[pintos-anon] / src / Makefile.inc
index 3ac0c6ed7b81cd0a3441ede44d2b247d22568450..9d929095583ee700d38edd600e87270ce2e44ce9 100644 (file)
@@ -39,6 +39,7 @@ LIB_SRC += lib.c              # Standard C library.
 LIB_SRC += random.c            # Pseudo-random numbers.
 LIB_SRC += list.c              # Doubly-linked lists.
 LIB_SRC += bitmap.c            # Bitmaps.
+LIB_SRC += hash.c              # Hash tables.
 
 # Filesystem code.
 FILESYS_SRC  = filesys.c       # Filesystem core.