diff options
Diffstat (limited to 'package/mpfr/mpfr.mk')
| -rw-r--r-- | package/mpfr/mpfr.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/package/mpfr/mpfr.mk b/package/mpfr/mpfr.mk index 631be64a0..48b080dd7 100644 --- a/package/mpfr/mpfr.mk +++ b/package/mpfr/mpfr.mk @@ -21,7 +21,8 @@ ifneq ($(MPFR_PATCH),) MPFR_PATCH_SOURCE:=$(DL_DIR)/$(MPFR_PATCH_FILE) $(MPFR_PATCH_SOURCE): - $(WGET) -O $@ $(MPFR_SITE),$(MPFR_PATCH) + $(call DOWNLOAD,$(MPFR_SITE),$(MPFR_PATCH)) + mv $(DL_DIR)/$(MPFR_PATCH) $@ endif $(DL_DIR)/$(MPFR_SOURCE): |