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