/tools/
drwxr-xr-x [up]
-rw-r--r-- 2007-07-03 22:16 +0000 1038 Makefile
-rwxr-xr-x 2007-07-03 22:16 +0000 4000 addToolVersion.sh
-rwxr-xr-x 2007-07-03 22:16 +0000 44595 config.guess
-rwxr-xr-x 2007-07-03 22:16 +0000 32726 config.sub
-rwxr-xr-x 2007-07-03 22:16 +0000 367 extractConfig.sh