Constify some commands in cli-logging.c
authorTom Tromey <tom@tromey.com>
Sun, 10 Sep 2017 03:40:53 +0000 (21:40 -0600)
committerTom Tromey <tom@tromey.com>
Wed, 27 Sep 2017 14:44:32 +0000 (08:44 -0600)
gdb/ChangeLog
2017-09-27  Tom Tromey  <tom@tromey.com>

* cli/cli-logging.c (set_logging_on, set_logging_off): Constify.

gdb/ChangeLog
gdb/cli/cli-logging.c

index 9ff18c65426ea5679423bdd57c65599be6e76a96..80588750cabbeacd340fed9768c8b96b3b805d78 100644 (file)
@@ -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.
 2017-09-27  Tom Tromey  <tom@tromey.com>
 
        * cli/cli-script.c (user_defined_command): Constify.
index 67005a17ef872d715420ff94995678440119f11e..14242e04749b4391b4320220e9fa03d72468b4ed 100644 (file)
@@ -146,9 +146,9 @@ handle_redirections (int from_tty)
 }
 
 static void
 }
 
 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)
     {
 
   if (rest && *rest)
     {
@@ -159,7 +159,7 @@ set_logging_on (char *args, int from_tty)
 }
 
 static void 
 }
 
 static void 
-set_logging_off (char *args, int from_tty)
+set_logging_off (const char *args, int from_tty)
 {
   if (saved_filename == NULL)
     return;
 {
   if (saved_filename == NULL)
     return;
This page took 0.032992 seconds and 4 git commands to generate.