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))