diff options
| -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 48b080dd7..8d3c6ab62 100644 --- a/package/mpfr/mpfr.mk +++ b/package/mpfr/mpfr.mk @@ -22,8 +22,10 @@ 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)) |