config.host (nios2-*-linux*): Remove 'extra_parts' setting.
[gcc.git] / gnattools /
drwxr-xr-x   ..
-rw-r--r-- 7668 ChangeLog
-rw-r--r-- 9997 Makefile.in
-rwxr-xr-x 116947 configure
-rw-r--r-- 4118 configure.ac