diff options
| author | Raul E Rangel <rrangel@chromium.org> | 2018-08-09 12:30:39 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-08-13 12:17:25 +0000 |
| commit | 128b0cf66ee2df3227c7099ffcf3deb2d335440a (patch) | |
| tree | d84a30c2c411f08a42aedb6c676fe6b7c8b60c33 /.gitmodules | |
| parent | 9ed805cc7687988b8783a2835aee64a6381d9ae3 (diff) | |
security/vboot/Makefile: Use shell cat instead of make file command
The make `file` command is apparently a v4.2 feature only. Replace it
with a shell cat.
BUG=none
TEST=verified fwid.region was created correctly
Change-Id: I5e32a521ad3e6759853f0cde2e4c4db6e564d3be
Signed-off-by: Raul E Rangel <rrangel@chromium.org>
Reviewed-on: https://review.coreboot.org/27990
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Julius Werner <jwerner@chromium.org>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions