diff options
| author | Michael Tüxen <tuexen@fh-muenster.de> | 2018-11-30 18:12:03 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-11-30 17:12:03 +0000 |
| commit | 271b354c513a007396686285fa35c96920174d24 (patch) | |
| tree | 10eac6739201093e389cd325c4572b8a832c5f27 /CONTRIBUTORS | |
| parent | bc6b598a2d3a6dd82a5066d1c9ac742787ac667b (diff) | |
vm/qemu: improve debug output
* vm/qemu: Improve debug output.
When running in debug mode, the number of VMs is reduced to 1.
State this in the debug output.
* vm/qemu: Don't start debug output with a capital letter.
As requested by Dimitry.
* vm: Provide debug message when reduing number of VMs.
Apply this change to all affected platforms for consistency.
Suggested by Dmitry.
* Add myself to AUTHORS/CONTRIBUTORS files.
* vm: Fix compilation issues missed in earlier commit.
* vm: Use logging to write debug message.
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 5b6c1879f..b73c62af9 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -38,3 +38,4 @@ Joey Jiao Anton Lindqvist Tobin Harding Shankara Pailoor +Michael Tuexen |