diff options
author | Werner Zeh <werner.zeh@siemens.com> | 2019-11-11 15:52:55 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-12 18:22:19 +0000 |
commit | 8088584b37b96532d87d0b8a000925313a237749 (patch) | |
tree | cff44901f7e0d343bdfb658a3584bedc3ae7ab88 /src | |
parent | 1b8102474e4b85935719cd7551f047ede807ee02 (diff) | |
download | coreboot-8088584b37b96532d87d0b8a000925313a237749.tar.xz |
payloads/external/GRUB2: Check for existing grub2 directory
When 'make clean' is executed and there is no source code cloned for
GRUB2 in payloads/external/GRUB2/grub2 (so GRUB2 has never been used on
this tree) an error message is thrown:
"fatal: cannot change to 'grub2': No such file or directory"
This error happens when there is no grub2 directory and is caused by
line 20 in payloads/external/GRUB2/Makefile where a shell command is
used to check the state of the git repo for grub2. Thought the target
for this code (checkout) is not executed by 'make clean' the shell
evaluates the command as part of the Makefile sourcing and encounters a
missing directory.
This patch fixes this error by checking for the project directory before
the git status of the repo is evaluated.
Change-Id: Ieaa919e1ee5ec2a1ec3c840fa07a6ec16d230e88
Signed-off-by: Werner Zeh <werner.zeh@siemens.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36750
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Michael Niewöhner
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions