Build: varios configuration changes, cosmetics
treef4bbd0dcbedae42e49b1b235d8b84af393c5a69a
-rwxr-xr-x 48392 CHANGELOG
-rw-r--r-- 593 COPYING
-rwxr-xr-x 885 README.TXT
-rwxr-xr-x 648 VERSION
-rwxr-xr-x 70 make.sh
-rwxr-xr-x 308 make_all.sh
drwxr-xr-x - release
drwxr-xr-x - toolchain
drwxr-xr-x - tools