diff options
Diffstat (limited to 'toolchain/gdb/Makefile')
| -rw-r--r-- | toolchain/gdb/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toolchain/gdb/Makefile b/toolchain/gdb/Makefile index 5f46cb926..f3f8bf8da 100644 --- a/toolchain/gdb/Makefile +++ b/toolchain/gdb/Makefile @@ -29,7 +29,8 @@ $(WRKBUILD)/.configured: --build=$(GNU_HOST_NAME) \ --host=$(GNU_HOST_NAME) \ --target=$(GNU_TARGET_NAME) \ - --with-libgmp-prefix='${STAGING_HOST_DIR}/usr' \ + --with-gmp='${STAGING_HOST_DIR}/usr' \ + --with-mpfr='${STAGING_HOST_DIR}/usr' \ --disable-dependency-tracking \ --without-uiout \ --enable-gdbmi \ |