gdb: update to 13.1

packages/debug/gdb/package.mk

@@ -3,8 +3,8 @@
 # Copyright (C) 2018-present Team LibreELEC (https://libreelec.tv)
 
 PKG_NAME="gdb"
-PKG_VERSION="12.1"
-PKG_SHA256="0e1793bf8f2b54d53f46dea84ccfd446f48f81b297b28c4f7fc017b818d69fed"
+PKG_VERSION="13.1"
+PKG_SHA256="115ad5c18d69a6be2ab15882d365dda2a2211c14f480b3502c6eba576e2e95a0"
 PKG_LICENSE="GPL"
 PKG_SITE="http://www.gnu.org/software/gdb/"
 PKG_URL="https://ftp.gnu.org/gnu/gdb/${PKG_NAME}-${PKG_VERSION}.tar.xz"

packages/debug/gdb/patches/0001-gdbserver-ctrl-c-handling.patch

@@ -30,11 +30,11 @@ index 8b8614f6ed4..e71e6667c51 100644
  {
    /* Send a SIGINT to the process group.  This acts just like the user
       typed a ^C on the controlling terminal.  */
--  ::kill (-signal_pid, SIGINT);
-+  ::kill (signal_pid, SIGINT);
- }
- 
- bool
+-  int res = ::kill (-signal_pid, SIGINT);
++  int res = ::kill (signal_pid, SIGINT);
+   if (res == -1)
+     warning (_("Sending SIGINT to process group of pid %ld failed: %s"),
+ 	      signal_pid, safe_strerror (errno));
 -- 
 2.25.1