diff options
| author | Tom Tromey <tom@tromey.com> | 2017-09-09 21:40:53 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2017-09-27 08:44:32 -0600 |
| commit | aa360cd5dd21a527f67f93ef75db92bac6cf02d5 (patch) | |
| tree | bf0f781866401a444dc08773e571414d7dd177b1 /gdb/cli | |
| parent | 898241a5ba617eb3e0bad4eb0bafaa9320320178 (diff) | |
Constify some commands in cli-logging.c
gdb/ChangeLog
2017-09-27 Tom Tromey <tom@tromey.com>
* cli/cli-logging.c (set_logging_on, set_logging_off): Constify.
Diffstat (limited to 'gdb/cli')
| -rw-r--r-- | gdb/cli/cli-logging.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gdb/cli/cli-logging.c b/gdb/cli/cli-logging.c index 67005a17ef..14242e0474 100644 --- a/gdb/cli/cli-logging.c +++ b/gdb/cli/cli-logging.c @@ -146,9 +146,9 @@ handle_redirections (int from_tty) } static void -set_logging_on (char *args, int from_tty) +set_logging_on (const char *args, int from_tty) { - char *rest = args; + const char *rest = args; if (rest && *rest) { @@ -159,7 +159,7 @@ set_logging_on (char *args, int from_tty) } static void -set_logging_off (char *args, int from_tty) +set_logging_off (const char *args, int from_tty) { if (saved_filename == NULL) return; |