gdb: remove gdbserver_genode.patch

Issue #5305
2026-01-21 20:42:56 +01:00 · 2024-08-14 20:25:47 +02:00
parent 7e95d5701f
commit 730f9ea437
3 changed files with 1 additions and 1286 deletions
--- a/repos/ports/ports/gdb.hash
+++ b/repos/ports/ports/gdb.hash
@@ -1 +1 @@
-dd6adf72605d7e35901267f0c76f3d5138b04b77
+cb221184908b1a309ae71498720d3c8f1322d87c
--- a/repos/ports/src/noux-pkg/gdb/patches/gdbserver_genode.patch
+++ b/repos/ports/src/noux-pkg/gdb/patches/gdbserver_genode.patch
--- a/repos/ports/src/noux-pkg/gdb/patches/series
+++ b/repos/ports/src/noux-pkg/gdb/patches/series
@@ -3,7 +3,6 @@ shared_library.patch
 arm_single_step.patch
 gdb_x86_64.patch
 noux_build.patch
-gdbserver_genode.patch
 call_dummy_location.patch
 non_stop.patch
 memory_map.patch