Revise makefile structure.
[pintos-anon] / src / lib / user /
drwxr-xr-x   ..
-rw-r--r-- 1983 console.c
-rw-r--r-- 157 entry.c
-rw-r--r-- 58 syscall-stub.S
-rw-r--r-- 134 syscall-stub.h
-rw-r--r-- 1333 syscall.c
-rw-r--r-- 742 syscall.h