diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2021-10-27 14:31:15 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2021-10-28 19:10:20 +0200 |
commit | 9f25a7520037e69ef5e122f12b9e486b048acb42 (patch) | |
tree | 7769923dc38fdc141a4aca56604de28401394a64 /toolchain/gdb/Makefile | |
parent | a112d2d80fcbddef7b6d17e7774949c156d5e624 (diff) |
gdb: update to 11.1
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 \ |