diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2012-09-17 13:42:41 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-07-04 16:01:16 +0200 |
commit | f0d14a95a5833885e0940bb650e15d8e959d0d45 (patch) | |
tree | a8d404b74da6223cdfcde3b413f954e77772fc65 /CODING_STYLE | |
parent | 8e2b72990e9dc80ab3ff19717f45fec839bbcbc2 (diff) |
monitor: disable "info jit" and "info opcount" if !TCG
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'CODING_STYLE')
0 files changed, 0 insertions, 0 deletions