diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2012-10-29 15:46:15 +0100 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2012-10-30 09:30:52 +0100 |
commit | 136594f19aa6370e77a50bd9bba5db77def6ec8f (patch) | |
tree | 9587d0d2a635188224202e105c7ba50389d0e611 /memory_mapping.h | |
parent | 63186e56c8b5f1c988bfb0d707e76f0f0dceef90 (diff) |
build: do not include main loop where it is not actually used
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'memory_mapping.h')
0 files changed, 0 insertions, 0 deletions