diff options
Diffstat (limited to 'support/testing/infra/builder.py')
| -rw-r--r-- | support/testing/infra/builder.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/support/testing/infra/builder.py b/support/testing/infra/builder.py index faf1eb1494..fc318fe26e 100644 --- a/support/testing/infra/builder.py +++ b/support/testing/infra/builder.py @@ -35,6 +35,11 @@ class Builder(object): def build(self): env = {"PATH": os.environ["PATH"]} + if "http_proxy" in os.environ: + self.logfile.write("Using system proxy: " + + os.environ["http_proxy"] + "\n") + env['http_proxy'] = os.environ["http_proxy"] + env['https_proxy'] = os.environ["http_proxy"] cmd = ["make", "-C", self.builddir] ret = subprocess.call(cmd, stdout=self.logfile, stderr=self.logfile, env=env) |
