diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2015-04-27 18:01:12 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-04-28 10:19:49 +0200 |
| commit | ef345c26a73e64c4faa07026c300429e51228b9e (patch) | |
| tree | c0a8266ca23256f820b53f62a71b95f49c94a590 /src/arch/arm/armv7 | |
| parent | e993ec7948d874d81c984323b5b00389420a4e65 (diff) | |
build system: Allow using .a archives as source
Change-Id: I1d61971f1458ca7e4257abb6a9c2aa15ac08e1d0
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/10001
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'src/arch/arm/armv7')
0 files changed, 0 insertions, 0 deletions