diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2012-07-25 08:55:53 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-07-25 12:26:33 +0200 |
| commit | 594473d75aad888ca4eb7d74adb926a4ffcb7963 (patch) | |
| tree | c3c9651258aedee94b7b56913f8d2b03c44cd75c /src | |
| parent | be1ef2329e21a2d9bc1b83e23769346832de2d81 (diff) | |
Remove useless semicolon
Change-Id: Idc4d5737f5b49108987ca7fe90410d4e80b723f2
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/1354
Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>
Reviewed-by: Mathias Krause <minipli@googlemail.com>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'src')
| -rw-r--r-- | src/devices/device.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/devices/device.c b/src/devices/device.c index 9753de81cb..92a4447a89 100644 --- a/src/devices/device.c +++ b/src/devices/device.c @@ -737,7 +737,7 @@ static void set_vga_bridge_bits(void) /* It isn't safe to enable all VGA cards. */ dev->command &= ~(PCI_COMMAND_MEMORY | PCI_COMMAND_IO); - }; + } if (!vga) vga = vga_onboard; |