Improve debuggability by eliminating system call stub in separate
[pintos-anon] / src / Makefile.userprog
index 2e95f9b0f99ffee177b63b42bf05e8caa7669e78..c5e6f3db33c6e992682c7b61818846b10b6a5034 100644 (file)
@@ -20,7 +20,6 @@ LIB_SRC += lib/stdio.c                        # I/O library.
 LIB_SRC += lib/stdlib.c                        # atoi()
 LIB_SRC += lib/string.c                        # String functions.
 LIB_SRC += lib/user/syscall.c          # System calls.
-LIB_SRC += lib/user/syscall-stub.S     # System call stub.
 LIB_SRC += lib/user/console.c          # Console code.
 
 LIB_OBJ = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(LIB_SRC)))