diff options
author | Martin Roth <martinroth@google.com> | 2016-03-16 10:39:30 -0600 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-03-21 04:03:16 +0100 |
commit | c8ed34075b7785c91cfb1c8556357b2e70cf765d (patch) | |
tree | d24ee1926540ac2e9e158d74be93b11623e33610 /payloads/external/GRUB2 | |
parent | c2b50ace1b04c90c27dae8d5999c14f925b93c65 (diff) |
payloads/external: Rename Makefile.inc to Makefile
These makefiles are not included by anything, so they shouldn't be
named Makefile.inc. Also, having them all be named 'Makefile' makes
some other consolidation work I'm doing much easier.
Change-Id: I1234539ba6a0a6f47d2eb0c21de3da3607c6b8de
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/14130
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'payloads/external/GRUB2')
-rw-r--r-- | payloads/external/GRUB2/Makefile (renamed from payloads/external/GRUB2/Makefile.inc) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/payloads/external/GRUB2/Makefile.inc b/payloads/external/GRUB2/Makefile index 11630c8469..11630c8469 100644 --- a/payloads/external/GRUB2/Makefile.inc +++ b/payloads/external/GRUB2/Makefile |