diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2016-05-13 19:00:29 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2016-05-16 11:46:28 +0000 |
| commit | ed18a1c84071b063c960324005353e9a2c36c872 (patch) | |
| tree | e6d8335a168f0f34195f4968b9ff1d63c66d7e61 | |
| parent | 195bceec5685cb367519e37f22b36f5f99819827 (diff) | |
VPP-65: Fix top-level "make install-dep" to work behind a firewall /
proxy-server on Ubuntu.
Change-Id: I3f662455728adb81ca5a079540d8a9c615a5b977
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -128,11 +128,11 @@ bootstrap: $(BR)/.bootstrap.ok install-dep: ifeq ($(OS_ID),ubuntu) ifeq ($(OS_VERSION_ID),14.04) - @sudo apt-get $(CONFIRM) install software-properties-common - @sudo add-apt-repository $(CONFIRM) ppa:openjdk-r/ppa - @sudo apt-get update + @sudo -E apt-get $(CONFIRM) install software-properties-common + @sudo -E add-apt-repository $(CONFIRM) ppa:openjdk-r/ppa + @sudo -E apt-get update endif - @sudo apt-get $(CONFIRM) install $(DEB_DEPENDS) + @sudo -E apt-get $(CONFIRM) install $(DEB_DEPENDS) else ifneq ("$(wildcard /etc/redhat-release)","") @sudo yum groupinstall $(CONFIRM) $(RPM_DEPENDS_GROUPS) @sudo yum install $(CONFIRM) $(RPM_DEPENDS) |