diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2015-04-30 14:30:51 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-04-30 15:37:42 +0200 |
| commit | e360df0fe2cc5fa0e632573891cab5c4c617a576 (patch) | |
| tree | 49f67124300f20c1f70a58a8343db6a200ab53cc /util/lint | |
| parent | 3e18acabd3ea49133fcd507f09ff44aba7d92fe2 (diff) | |
chromeos: Use __attribute__ normal form
Change-Id: Idf99c1491386578ac2471ca5cc8a153d2b5225e4
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/10044
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins)
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions