Remove unnecessary semicolon that gives GNU make 3.80 fits.
[pintos.git] / src / utils / 
tree860fcfd34261a0fa4ea1ff26f3c5be268090cf9e
drwxr-xr-x   ..
-rw-r--r-- 40 .cvsignore
-rw-r--r-- 236 Makefile
-rwxr-xr-x 2951 backtrace
-rwxr-xr-x 26968 pintos
-rwxr-xr-x 429 pintos-gdb
-rwxr-xr-x 975 pintos-mkdisk
-rw-r--r-- 1390 setitimer-helper.c
-rw-r--r-- 9614 squish-pty.c
-rw-r--r-- 9175 squish-unix.c