mirror of
https://github.com/openbsd/ports.git
synced 2026-06-17 23:13:55 +02:00
Bugfix update to gdb-17.2
Tests & ok tb@
This commit is contained in:
+1
-2
@@ -4,8 +4,7 @@ DPB_PROPERTIES= parallel
|
||||
COMMENT= GNU debugger
|
||||
CATEGORIES= devel
|
||||
|
||||
DISTNAME= gdb-17.1
|
||||
REVISION= 0
|
||||
DISTNAME= gdb-17.2
|
||||
|
||||
HOMEPAGE= https://www.gnu.org/software/gdb/
|
||||
|
||||
|
||||
+2
-2
@@ -1,2 +1,2 @@
|
||||
SHA256 (gdb/gdb-17.1.tar.xz) = FJlvX3TJ9o9aVD/cRbyngAIH+R+SrupsLnkYIsfG2HY=
|
||||
SIZE (gdb/gdb-17.1.tar.xz) = 24663896
|
||||
SHA256 (gdb/gdb-17.2.tar.xz) = HANsDXLks9H7XJTIhjKt1vnXb018TS6nk8EqnxmjIow=
|
||||
SIZE (gdb/gdb-17.2.tar.xz) = 24658624
|
||||
|
||||
@@ -5,8 +5,8 @@ Index: gdb/doc/gdb.info-2
|
||||
--------------------------
|
||||
|
||||
You can customize GDB to use any editor you want (1). By default, it is
|
||||
-'/bin/ex', but you can change this by setting the environment variable
|
||||
+'/usr/bin/ex', but you can change this by setting the environment variable
|
||||
'EDITOR' before using GDB. For example, to configure GDB to use the
|
||||
'vi' editor, you could use these commands with the 'sh' shell:
|
||||
-‘/bin/ex’, but you can change this by setting the environment variable
|
||||
+‘/usr/bin/ex’, but you can change this by setting the environment variable
|
||||
‘EDITOR’ before using GDB. For example, to configure GDB to use the
|
||||
‘vi’ editor, you could use these commands with the ‘sh’ shell:
|
||||
EDITOR=/usr/bin/vi
|
||||
|
||||
Reference in New Issue
Block a user