* infcmd.c (notice_args_read): Print result of get_inferior_args.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 18a4641e27c6485a36199939e2d807927e6d0528..5be237f6665cdd5990ca42084d6ab8f58eb50a9a 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2008-02-28  Tom Tromey  <tromey@redhat.com>
+
+       * infcmd.c (notice_args_read): Print result of get_inferior_args.
+
 2008-02-28  Daniel Jacobowitz  <dan@codesourcery.com>
 
        * infcmd.c (kill_if_already_running): Make static.  Use

diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index 9d889b2bff98285f93ffbfd2691445ffa75a2b49..70bf69536fcf21aaea1d381b49c87811980d62d7 100644 (file)
--- a/gdb/infcmd.c
+++ b/gdb/infcmd.c
@@ -273,9 +273,9 @@ static void
 notice_args_read (struct ui_file *file, int from_tty,
                  struct cmd_list_element *c, const char *value)
 {
-  deprecated_show_value_hack (file, from_tty, c, value);
-  /* Might compute the value.  */
-  get_inferior_args ();
+  /* Note that we ignore the passed-in value in favor of computing it
+     directly.  */
+  deprecated_show_value_hack (file, from_tty, c, get_inferior_args ());
 }
 
 \f