diff options
author | Leah Rowe <leah@libreboot.org> | 2024-10-05 03:52:50 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-10-05 03:52:50 +0100 |
commit | 44473d6832dd827d9301ba50bbeb35a43a1c474c (patch) | |
tree | 2ff4b1cad8d02400dc266000cac86d1d6f3ed5b8 /config/grub/xhci/patches/0002-say-the-name-libreboot-in-the-grub-menu.patch | |
parent | c3ef0a863912af184c4a49e4876c7845ba3100aa (diff) |
git.sh: fix error with cache re-download
in some cases, on a fresh clone, the cached repo already
exists but lbmk tries to download it again. work around
this by checking that the directory exists; it's in the
main if statement, so that the "else" still applies. as
a result, the fallback to a live repo would un-fall back
to doing git-pull if the cached directory exists exists.
if it doesn't seem to make sense, it's because it doesn't.
this whole function needs to be rewritten better.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/grub/xhci/patches/0002-say-the-name-libreboot-in-the-grub-menu.patch')
0 files changed, 0 insertions, 0 deletions