mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-17 05:12:57 +01:00
pkg: support PKG_MIRROR_URL, use if PKG_USE_MIRROR=1 (default)
This commit is contained in:
parent
5a9c659f5d
commit
92ca97e31b
@ -24,6 +24,12 @@ ifeq (,$(PKG_LICENSE))
|
||||
$(error PKG_LICENSE not defined)
|
||||
endif
|
||||
|
||||
ifneq (, $(PKG_MIRROR_URL))
|
||||
ifneq (0, $(PKG_USE_MIRROR))
|
||||
PKG_URL = $(PKG_MIRROR_URL)
|
||||
endif
|
||||
endif
|
||||
|
||||
PKG_DIR ?= $(CURDIR)
|
||||
PKG_PATCH_DIR ?= $(PKG_DIR)/patches
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user