diff options
author | Markus Armbruster <armbru@redhat.com> | 2016-03-14 11:25:21 +0100 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2016-03-22 22:20:16 +0100 |
commit | c80f6e9caa7647b576966534aaa0dc8f1b480f2b (patch) | |
tree | 49621f641dc2e6f9a60dbc47677155210625b8a4 /scripts/tracetool/format/events_h.py | |
parent | 14b6d44d4720681a57b5d2c58cabdfc6364f8263 (diff) |
Clean up includes some more
Manually drop redundant includes that scripts/clean-includes misses,
e.g. because they're hidden in generator programs, or they use the
wrong kind of delimiter.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/tracetool/format/events_h.py')
-rw-r--r-- | scripts/tracetool/format/events_h.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/tracetool/format/events_h.py b/scripts/tracetool/format/events_h.py index bbfaa5bd1f..4529263e00 100644 --- a/scripts/tracetool/format/events_h.py +++ b/scripts/tracetool/format/events_h.py @@ -21,8 +21,6 @@ def generate(events, backend): '', '#ifndef TRACE__GENERATED_EVENTS_H', '#define TRACE__GENERATED_EVENTS_H', - '', - '#include <stdbool.h>', '') # event identifiers |