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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 9ff18c65426ea5679423bdd57c65599be6e76a96..80588750cabbeacd340fed9768c8b96b3b805d78 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2017-09-27  Tom Tromey  <tom@tromey.com>
+
+       * cli/cli-logging.c (set_logging_on, set_logging_off): Constify.
+
 2017-09-27  Tom Tromey  <tom@tromey.com>
 
        * cli/cli-script.c (user_defined_command): Constify.

diff --git a/gdb/cli/cli-logging.c b/gdb/cli/cli-logging.c
index 67005a17ef872d715420ff94995678440119f11e..14242e04749b4391b4320220e9fa03d72468b4ed 100644 (file)
--- 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;