diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-04-17 18:07:26 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-04-17 18:07:26 (GMT) |
commit | 9e9d061e012a27b0d79f5efed45344800266fbe7 (patch) | |
tree | 96774c790aca03e208d156bc2ecb030908d6db5b /licenses.d/gpl.txt | |
parent | 0b89b1a938ea18c4828b7a4e186efe0dade7d3a9 (diff) |
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(-)
Diffstat (limited to 'licenses.d/gpl.txt')
0 files changed, 0 insertions, 0 deletions