# HG changeset patch
# User Alessio Igor Bogani <alessiogirobogani@gmail.com>
# Date 1308302791 -7200
# Node ID e26390768b3c371440af7e9a6619705c5651a6d6
# Parent  a041d8bd1b2f60d0d68e969ab2946e7c51d27476
Avoid sanitizing useful *_proxy environment variables

diff -r a041d8bd1b2f -r e26390768b3c sources/utility_functions.sh
--- a/sources/utility_functions.sh	Fri Jun 17 11:24:53 2011 +0200
+++ b/sources/utility_functions.sh	Fri Jun 17 11:26:31 2011 +0200
@@ -17,6 +17,7 @@
 
   TEMP="$TEMP,LANG,PATH,SHELL,TERM,USER,USERNAME,LOGNAME,PWD,EDITOR,HOME,DISPLAY,_"
   TEMP="$TEMP,TOPSHELL,START_TIME,STAGE_NAME,TOOLCHAIN_PREFIX,HOST_ARCH"
+  TEMP="$TEMP,http_proxy,ftp_proxy,https_proxy,no_proxy"
 
   # Unset any variable we don't recognize.  It can screw up the build.