|
@@ -35,6 +35,12 @@ class Builder(object):
|
|
|
|
|
|
def build(self):
|
|
def build(self):
|
|
env = {"PATH": os.environ["PATH"]}
|
|
env = {"PATH": os.environ["PATH"]}
|
|
|
|
+ if "http_proxy" in os.environ:
|
|
|
|
+ self.logfile.write("Using system proxy: " +
|
|
|
|
+ os.environ["http_proxy"] + "\n")
|
|
|
|
+ self.logfile.flush()
|
|
|
|
+ env['http_proxy'] = os.environ["http_proxy"]
|
|
|
|
+ env['https_proxy'] = os.environ["http_proxy"]
|
|
cmd = ["make", "-C", self.builddir]
|
|
cmd = ["make", "-C", self.builddir]
|
|
ret = subprocess.call(cmd, stdout=self.logfile, stderr=self.logfile,
|
|
ret = subprocess.call(cmd, stdout=self.logfile, stderr=self.logfile,
|
|
env=env)
|
|
env=env)
|