Remove unnecessary semicolon that gives GNU make 3.80 fits.
[pintos.git] / src / threads / 
treef2387e14b9e83564a244d5cf8ed6405675a3e658
drwxr-xr-x   ..
-rw-r--r-- 31 .cvsignore
-rw-r--r-- 198 Make.vars
-rw-r--r-- 27 Makefile
-rw-r--r-- 207 flags.h
-rw-r--r-- 10007 init.c
-rw-r--r-- 422 init.h
-rw-r--r-- 13843 interrupt.c
-rw-r--r-- 2591 interrupt.h
-rw-r--r-- 7458 intr-stubs.S
-rw-r--r-- 587 intr-stubs.h
-rw-r--r-- 5464 io.h
-rw-r--r-- 632 kernel.lds.S
-rw-r--r-- 9186 loader.S
-rw-r--r-- 1471 loader.h
-rw-r--r-- 8234 malloc.c
-rw-r--r-- 303 malloc.h
-rw-r--r-- 5607 palloc.c
-rw-r--r-- 623 palloc.h
-rw-r--r-- 4079 pte.h
-rw-r--r-- 474 start.S
-rw-r--r-- 1668 switch.S
-rw-r--r-- 1165 switch.h
-rw-r--r-- 9877 synch.c
-rw-r--r-- 1422 synch.h
-rw-r--r-- 15265 thread.c
-rw-r--r-- 5046 thread.h
-rw-r--r-- 2502 vaddr.h