Don't need GCC patch anymore because we don't use Intel syntax.
[pintos.git] / tests / 
tree8503b5ac5e06e8b419aab5d1299365acf5690d6a
drwxr-xr-x   ..
-rw-r--r-- 58 .cvsignore
-rw-r--r-- 1585 Makefile