diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/mpfr/Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile index 72712f219d..13ee63a6a7 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)) |