mirror of
https://github.com/godotengine/buildroot.git
synced 2026-01-04 06:10:16 +03:00
Remove the spider feature
In preparation for the re-work of the DOWNLOAD helper to support multiple download methods and protocols, the spider feature used with wget is removed for now until it is re-implemented on top of the new download methods. Signed-off-by: Maxime Petazzoni <maxime.petazzoni@bulix.org> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
This commit is contained in:
committed by
Thomas Petazzoni
parent
3307052879
commit
07b2af1a45
@@ -21,10 +21,8 @@ MPFR_PATCH_SOURCE:=$(DL_DIR)/$(MPFR_PATCH_FILE)
|
||||
|
||||
$(MPFR_PATCH_SOURCE):
|
||||
$(call DOWNLOAD,$(MPFR_SITE),$(MPFR_PATCH))
|
||||
ifeq ($(SPIDER),) # this breaks source-check/external-deps
|
||||
mv $(DL_DIR)/$(MPFR_PATCH) $@
|
||||
endif
|
||||
endif
|
||||
|
||||
$(DL_DIR)/$(MPFR_SOURCE):
|
||||
$(call DOWNLOAD,$(MPFR_SITE),$(MPFR_SOURCE))
|
||||
|
||||
Reference in New Issue
Block a user