summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tools/mpfr/Makefile5
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile
index 72712f219..13ee63a6a 100644
--- a/tools/mpfr/Makefile
+++ b/tools/mpfr/Makefile
@@ -22,9 +22,4 @@ HOST_CONFIGURE_ARGS += \
--disable-shared \
--with-gmp=$(STAGING_DIR_HOST)
-define Host/Configure
- echo "PATH=$(shell echo $$PATH)"
- $(call Host/Configure/Default)
-endef
-
$(eval $(call HostBuild))