aboutsummaryrefslogtreecommitdiff
path: root/.gdbinit
diff options
context:
space:
mode:
authorStefan Hajnoczi <stefanha@redhat.com>2021-01-25 11:35:06 +0000
committerStefan Hajnoczi <stefanha@redhat.com>2021-02-01 10:50:55 +0000
commit651d588f030097c4950331f8fffb9d442f89ba11 (patch)
tree0a83c83f1fa7747b57286653142fd9d9d56ad276 /.gdbinit
parent0572d6cd29d6434de166ce67a29fc8ff64777218 (diff)
error: rename error_with_timestamp to message_with_timestamp
The -msg timestamp=on|off option controls whether a timestamp is printed with error_report() messages. The "-msg" name suggests that this option has a wider effect than just error_report(). The next patch extends it to the 'log' trace backend, so rename the variable from error_with_timestamp to message_with_timestamp. Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com> Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> Tested-by: BALATON Zoltan <balaton@eik.bme.hu> Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> Message-id: 20210125113507.224287-2-stefanha@redhat.com Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions