diff options
author | Michael Niewöhner <foss@mniewoehner.de> | 2019-10-26 00:06:42 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-04 11:33:17 +0000 |
commit | e979442cd6c98b9f757d672dcd363a385182397d (patch) | |
tree | a5dd8923c4bf1acfb446d5034e4bf26c5d57c637 /Makefile.inc | |
parent | 653a66fa812f14e667bbdbdbc52473292d55cd1f (diff) | |
download | coreboot-e979442cd6c98b9f757d672dcd363a385182397d.tar.xz |
payloads/external/GRUB2: fix constantly rebuilding due to git checkout
Multiple git checkouts cause GRUB2 to constantly rebuild even if there
were no changes to code or config. This is due to changing timestamps.
Fix this by not creating or switching branches but instead rely on
`git checkout -f` which does not touch existing unchanged files.
To be sure to not break anyones workflow checkout is skipped and a
warning gets printed if the tree/index is unclean.
Change-Id: I7cf66f63268de973a654146a0a47c3d5ca516d4d
Signed-off-by: Michael Niewöhner <foss@mniewoehner.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36343
Reviewed-by: Nico Huber <nico.h@gmx.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions