/tools/
drwxr-xr-x [up]
-rw-r--r-- 2007-05-22 20:36 +0000 476 Makefile
-rwxr-xr-x 2007-05-22 20:36 +0000 4000 addToolVersion.sh
-rwxr-xr-x 2007-05-22 20:36 +0000 44573 config.guess
-rwxr-xr-x 2007-05-22 20:36 +0000 32726 config.sub
-rwxr-xr-x 2007-05-22 20:36 +0000 367 extractConfig.sh