Get rid of backdoor.

[pintos-anon] / src / Makefile.inc

diff --git a/src/Makefile.inc b/src/Makefile.inc
index 915312813f98f64fb613487c7ac0df7e5fa77536..d1bb0c944657fa9b87802da64798098e5ea422a3 100644 (file)
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -40,7 +40,6 @@ 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 += backdoor.c          # Backdoor IPC.
 
 # Filesystem code.
 FILESYS_SRC  = filesys.c       # Filesystem core.