diff options
author | Nico Huber <nico.h@gmx.de> | 2016-01-23 03:23:23 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2016-01-25 14:24:10 +0100 |
commit | 10b7ceface928dec6cb06515c983ebfb73c0cdfe (patch) | |
tree | 0e046854a7e401f99a2f9eaf571395db30df0e66 /util/lint/lint-stable-009-old-licenses | |
parent | 2bb574e52cc2fa2295ee1f81c417c78ca9d62cc4 (diff) |
Makefile: Don't copy thin archives around
We can't just copy archives around as they may be thin archives which
contain relative paths. Using ar to create another thin archive should
result in the same archive with fixed paths.
Tested by verifying that the resulting coreboot.rom files didn't change
for all of Jenkins' abuild configurations.
Change-Id: Ic5743da2f4b5eb246fafd02181d66c5d40e7f00c
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/13179
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/lint-stable-009-old-licenses')
0 files changed, 0 insertions, 0 deletions