diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2016-05-02 16:50:31 +0800 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2016-05-03 11:42:20 +0200 |
| commit | 849635d4ef835862b2fc4ecc4c4c1ee28186ad15 (patch) | |
| tree | 4277c640329e54a0f4368bfd50cd1380bd9538e6 /util/vgabios/Makefile | |
| parent | fa5aba0484836cd19143b6567d8cee77ba072971 (diff) | |
build system: rename fmap.h to fmap_config.h
There's an in-tree fmap.h, and the file generated by fmaptool is likely
used in tandem with it. To avoid problems, rename the generated file
(which so far isn't used).
Change-Id: I95dfde513a7f78677cf18ecd7ce8745e40af316b
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/14570
Tested-by: build bot (Jenkins)
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Diffstat (limited to 'util/vgabios/Makefile')
0 files changed, 0 insertions, 0 deletions