On 9/3/2023 1:54 pm, Joel Sherrill wrote:
> I've followed the discussion with gdb and this is ok.
Thanks.
> I still question them
> installing that header file. The the patch you're adding fixes it by making
> local includes ahead. But I don't remember seeing an answer to the question of
> should
I've followed the discussion with gdb and this is ok. I still question them
installing that header file. The the patch you're adding fixes it by making
local includes ahead. But I don't remember seeing an answer to the question
of should the header file be installed anyway.
Ok to push
--joel
On
From: Chris Johns
See https://sourceware.org/bugzilla/show_bug.cgi?id=30214
Closes #4872
---
rtems/config/tools/rtems-gdb-13.1.cfg | 4
source-builder/sb/freebsd.py | 14 +++---
2 files changed, 11 insertions(+), 7 deletions(-)
diff --git a/rtems/config/tools/rtems-gdb-1
