diff options
Diffstat (limited to 'package/mpfr')
| -rw-r--r-- | package/mpfr/mpfr.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/package/mpfr/mpfr.mk b/package/mpfr/mpfr.mk index b7b80a5a4..6979a9f76 100644 --- a/package/mpfr/mpfr.mk +++ b/package/mpfr/mpfr.mk @@ -21,8 +21,10 @@ MPFR_PATCH_SOURCE:=$(DL_DIR)/$(MPFR_PATCH_FILE) $(MPFR_PATCH_SOURCE): $(call DOWNLOAD,$(MPFR_SITE),$(MPFR_PATCH)) +ifeq ($(DL_MODE),DOWNLOAD) mv $(DL_DIR)/$(MPFR_PATCH) $@ endif +endif $(DL_DIR)/$(MPFR_SOURCE): $(call DOWNLOAD,$(MPFR_SITE),$(MPFR_SOURCE)) |