#
# If the file exists in $(DLCACHE), it is retrieved from there instead.
define httpget
- _httpget() { \
- name="$${1##*/}"; \
- target="$$2"; \
- [ -n "$$target" ] || target="$$name"; \
- cache="$(DLCACHE)/$$name"; \
- if [ -r "$$cache" ]; then \
- echo "Fetching '$$name' from cache."; \
- else \
+ _httpget() { \
+ name="$${1##*/}"; \
+ target="$$2"; \
+ [ -n "$$target" ] || target="$$name"; \
+ cache="$(DLCACHE)/$$name"; \
+ if [ -r "$$cache" ]; then \
+ echo "Fetching '$$name' from cache."; \
+ else \
[ -z "$(HTTPGET_NONET)" ] || ( echo "Missing '$$1'."; exit 2 ); \
- echo "Downloading '$$1'."; \
- wget -O "$$cache" "$$1"; \
- fi; \
- cp "$$cache" "$$target"; \
- }; \
+ echo "Downloading '$$1'."; \
+ wget -O "$$cache" "$$1"; \
+ fi; \
+ cp "$$cache" "$$target"; \
+ }; \
_httpget
endef