diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile
index 72712f219dc2c7426e8b7aeaeee8395bf13ce4c6..13ee63a6a71a468788b68c3cbd1fede7b4a54d94 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))