diff options
| author | Peter Korsgaard <jacmet@sunsite.dk> | 2009-01-16 12:34:44 +0000 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2009-01-16 12:34:44 +0000 |
| commit | 6beda1f23665adeed3b14375499ad589d96ac5fc (patch) | |
| tree | 63c8b301a526efbb1ca020a1fa724eeda3a4a65c | |
| parent | 1e1e6395b68251be67753742200305416bf7e9e1 (diff) | |
package/mpfr: fix make source-check/external-deps issue
| -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)) |