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