diff options
Diffstat (limited to 'gdb/gdbarch.sh')
| -rwxr-xr-x | gdb/gdbarch.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/gdbarch.sh b/gdb/gdbarch.sh index c471b73cb10..bdfb6b20d0f 100755 --- a/gdb/gdbarch.sh +++ b/gdb/gdbarch.sh @@ -1678,7 +1678,7 @@ pstring (const char *string) return string; } -static char * +static const char * pstring_ptr (char **string) { if (string == NULL || *string == NULL) @@ -1689,7 +1689,7 @@ pstring_ptr (char **string) /* Helper function to print a list of strings, represented as "const char *const *". The list is printed comma-separated. */ -static char * +static const char * pstring_list (const char *const *list) { static char ret[100]; |