/tools/
drwxr-xr-x [up]
-rwxr-xr-x 2007-09-11 17:14 +0000 4527 addToolVersion.sh
-rwxr-xr-x 2007-09-11 17:14 +0000 44593 config.guess
-rwxr-xr-x 2007-09-11 17:14 +0000 32724 config.sub
-rwxr-xr-x 2007-09-11 17:14 +0000 362 extract-config.sh
-rw-r--r-- 2007-09-11 17:14 +0000 3553 populate.in
-rw-r--r-- 2007-09-11 17:14 +0000 1042 tools.mk