2011-10-13 Luis Machado <lgustavo@codesourcery.com>

* tracepoint.c (trace_save_command): Use filename instead of
	args when printing.

gdb/ChangeLog

@@ -1,3 +1,8 @@
+2011-10-13  Luis Machado  <lgustavo@codesourcery.com>
+
+	* tracepoint.c (trace_save_command): Use filename instead of
+	args when printing.
+
 2011-10-13  Jan Kratochvil  <jan.kratochvil@redhat.com>
 
 	* dwarf2read.c (dwarf2_fetch_die_location_block): Initialize .data even

gdb/tracepoint.c

@@ -2925,7 +2925,7 @@ trace_save_command (char *args, int from_tty)
   trace_save (filename, target_does_save);
 
   if (from_tty)
-    printf_filtered (_("Trace data saved to file '%s'.\n"), args);
+    printf_filtered (_("Trace data saved to file '%s'.\n"), filename);
 
   do_cleanups (back_to);
 }