Add an option to use a SOCKS 4/5 proxy to connect to the internet.
As for the HTTP proxy, this is completetly untested, as I have no such proxy at home.
scripts/crosstool.sh | 45 31 14 0 +++++++++++++++++--------
config/global.in | 95 81 14 0 +++++++++++++++++++++++++++++++++++++++++++--------
2 files changed, 112 insertions(+), 28 deletions(-)
1 source config/global.in
2 source config/target.in
3 source config/toolchain.in
4 source config/kernel.in
5 source config/binutils.in
8 source config.gen/tools.in
9 source config.gen/debug.in