diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-12-20 22:42:48 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@opnfv.org> | 2016-12-20 22:42:48 +0000 |
| commit | 67a6f787747dd577040829b2834a440ac77f3ab0 (patch) | |
| tree | 418acaa18f604eaa1d8a8161da70bba9b3915287 /build/Makefile | |
| parent | 532a03ecc34da805ae1836a94f3c58ba8fd312f0 (diff) | |
| parent | 592d5a420bdcc8e78530ee42527fe05f82371b5b (diff) | |
Merge "build: select_ubuntu_repo: break on err"
Diffstat (limited to 'build/Makefile')
| -rw-r--r-- | build/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/build/Makefile b/build/Makefile index c8fc79385..d4b981a9d 100644 --- a/build/Makefile +++ b/build/Makefile @@ -51,9 +51,13 @@ export REPOINFO := $(BUILD_BASE)/repo_info.sh # Use snapshots # Use nearby repositories -export MIRROR_UBUNTU_URL := $(shell ./f_isoroot/f_repobuild/select_ubuntu_repo.sh --url) -export MIRROR_UBUNTU := $(shell echo "$(MIRROR_UBUNTU_URL)" | cut -d'/' -f3 ) -export MIRROR_UBUNTU_ROOT := $(shell echo -n '/' ; echo "$(MIRROR_UBUNTU_URL)" | cut -d'/' -f4-) +export MIRROR_UBUNTU_URL ?= $(shell ./f_isoroot/f_repobuild/select_ubuntu_repo.sh) +export MIRROR_UBUNTU ?= $(shell echo "$(MIRROR_UBUNTU_URL)" | cut -d'/' -f3 ) +export MIRROR_UBUNTU_ROOT ?= $(shell echo -n '/' ; echo "$(MIRROR_UBUNTU_URL)" | cut -d'/' -f4-) +ifeq (,$(MIRROR_UBUNTU_URL)) +$(warning $(shell ./f_isoroot/f_repobuild/select_ubuntu_repo.sh -d)) +$(error No sane Ubuntu mirror available) +endif export LATEST_MIRROR_ID_URL := http://$(shell ./select_closest_fuel_mirror.py) |