/tools/
drwxr-xr-x [up]
-rw-r--r-- 2007-05-03 17:51 +0000 465 Makefile
-rwxr-xr-x 2007-05-03 17:51 +0000 3822 addToolVersion.sh
-rwxr-xr-x 2007-05-03 17:51 +0000 44573 config.guess
-rwxr-xr-x 2007-05-03 17:51 +0000 32726 config.sub
-rwxr-xr-x 2007-05-03 17:51 +0000 367 extractConfig.sh