diff options
| author | Nico Huber <nico.h@gmx.de> | 2017-08-14 01:58:28 +0200 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2017-08-20 20:46:25 +0000 |
| commit | 4ff449272dcbd09a0cad5f64e1e01021ad091a01 (patch) | |
| tree | 7bcf414313415ba03c8d33c4fc81d518ea23631d /payloads/external/GRUB2/Makefile | |
| parent | 1b04aa25917e4bad63f1befa378660f01af1b811 (diff) | |
payloads/external/GRUB2: Only rebuild on config changes
Change-Id: I376eea9a3e02b03010fc5c5a05199ea7b2813220
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/20991
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'payloads/external/GRUB2/Makefile')
| -rw-r--r-- | payloads/external/GRUB2/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/payloads/external/GRUB2/Makefile b/payloads/external/GRUB2/Makefile index dee7f6973b..4a0a49106a 100644 --- a/payloads/external/GRUB2/Makefile +++ b/payloads/external/GRUB2/Makefile @@ -22,7 +22,7 @@ checkout: git branch -f $(NAME-y) $(TAG-y) && \ git checkout $(NAME-y) || true -config: checkout +grub2/build/config.h: $(CONFIG_DEP) | checkout echo " CONFIG GRUB2 $(NAME-y)" rm -rf grub2/build mkdir grub2/build @@ -32,6 +32,8 @@ config: checkout CFLAGS=-O2 TARGET_CFLAGS=-Os \ --with-platform=coreboot --enable-boot-time --disable-werror +config: grub2/build/config.h checkout + grub2: config echo " MAKE GRUB2 $(NAME-y)" $(MAKE) -C grub2/build |