Patch: 'show args' -vs- '--args'

[Tom Tromey]

>>>>> "Daniel" == Daniel Jacobowitz <drow@false.org> writes:

Daniel> I'm fine with either the above [...]

How about this?

Tom

ChangeLog:
2008-02-28  Tom Tromey  <tromey@redhat.com>

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

Index: infcmd.c
===================================================================
RCS file: /cvs/src/src/gdb/infcmd.c,v
retrieving revision 1.170
diff -u -r1.170 infcmd.c
--- infcmd.c	28 Feb 2008 16:26:17 -0000	1.170
+++ infcmd.c	28 Feb 2008 17:26:48 -0000
@@ -273,9 +273,9 @@
 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 ());
 }