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