diff options
| author | hubertf <hubertf@pkgsrc.org> | 2000-09-15 22:25:57 +0000 |
|---|---|---|
| committer | hubertf <hubertf@pkgsrc.org> | 2000-09-15 22:25:57 +0000 |
| commit | 325db75d6d394e13f571667d370f05649240a876 (patch) | |
| tree | 0032c8b6f158596d6bb6a02e7b52b5df000ba23c /mk/bulk/build | |
| parent | 0e7843f045abaeb7f5b7978a900e8e74f06a3cf6 (diff) | |
| download | pkgsrc-325db75d6d394e13f571667d370f05649240a876.tar.gz | |
Allow setting ftp_proxy and http_proxy in build.conf or $environment
Diffstat (limited to 'mk/bulk/build')
| -rw-r--r-- | mk/bulk/build | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/mk/bulk/build b/mk/bulk/build index d28f9e90b49..362961ce051 100644 --- a/mk/bulk/build +++ b/mk/bulk/build @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: build,v 1.1 2000/09/15 22:05:47 hubertf Exp $ +# $NetBSD: build,v 1.2 2000/09/15 22:25:57 hubertf Exp $ # # Do builk build # @@ -9,6 +9,16 @@ echo Bulk build started: `date` echo "" +if [ "$http_proxy" != "" ]; then + echo "Using HTTP proxy $http_proxy" + export http_proxy +fi +if [ "$ftp_proxy" != "" ]; then + echo "Using FTP proxy $ftp_proxy" + export ftp_proxy +fi +echo "" + # Pull in ADMIN: if [ -f "$BULK_BUILD_CONF" ]; then . $BULK_BUILD_CONF |