diff options
| author | Markus Armbruster <armbru@redhat.com> | 2015-03-17 18:16:21 +0100 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2015-06-22 18:20:41 +0200 |
| commit | a0b1a66ea39bca011108734147a72232a4d08c7a (patch) | |
| tree | 8d8eaeb0210b213cbb6d175f59aec7513ce80dfc /roms/configure-seabios.sh | |
| parent | cc7a8ea740ec74a144e866a1d24aa6b490e31923 (diff) | |
Include monitor/monitor.h exactly where needed
In particular, don't include it into headers.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Luiz Capitulino <lcapitulino@redhat.com>
Diffstat (limited to 'roms/configure-seabios.sh')
0 files changed, 0 insertions, 0 deletions