diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2008-06-06 20:38:35 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2008-06-06 20:38:35 +0000 |
| commit | 90aa6a4044aa608595b9a97944e27541bdd4ebf7 (patch) | |
| tree | 18e16d1ac8225efe2ee3dce2842d36d6bf5527a8 /gdb/gdbserver/gdbreplay.c | |
| parent | 7cc70e5388e37be790393ff8a83646331b46a3aa (diff) | |
| download | gdb-90aa6a4044aa608595b9a97944e27541bdd4ebf7.zip gdb-90aa6a4044aa608595b9a97944e27541bdd4ebf7.tar.gz gdb-90aa6a4044aa608595b9a97944e27541bdd4ebf7.tar.bz2 | |
* gdbreplay.c (gdbreplay_version): Say gdbreplay in version
message, not gdbserver.
Diffstat (limited to 'gdb/gdbserver/gdbreplay.c')
| -rw-r--r-- | gdb/gdbserver/gdbreplay.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/gdbserver/gdbreplay.c b/gdb/gdbserver/gdbreplay.c index d54ed1d..f0e83b6 100644 --- a/gdb/gdbserver/gdbreplay.c +++ b/gdb/gdbserver/gdbreplay.c @@ -396,8 +396,8 @@ gdbreplay_version (void) { printf ("GNU gdbreplay %s%s\n" "Copyright (C) 2008 Free Software Foundation, Inc.\n" - "gdbserver is free software, covered by the GNU General Public License.\n" - "This gdbserver was configured as \"%s\"\n", + "gdbreplay is free software, covered by the GNU General Public License.\n" + "This gdbreplay was configured as \"%s\"\n", PKGVERSION, version, host_name); } |