summaryrefslogtreecommitdiff
path: root/config/grub/default/patches/0001-borderfix/0002-say-the-name-libreboot-in-the-grub-menu.patch
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2024-07-17 17:28:27 +0100
committerLeah Rowe <leah@libreboot.org>2024-07-17 17:28:27 +0100
commitef867ecccad5464690c4fa342946fa2c7a4eac3d (patch)
tree918c49687309b3831e8798da2e90957df2dfcd53 /config/grub/default/patches/0001-borderfix/0002-say-the-name-libreboot-in-the-grub-menu.patch
parent4d5385a14de8f74a54877ec91a877b4f01cf472f (diff)
git.sh: remove previous tmprepo if args>5
if doing a retry, the directory may still exist, which would make git clone yield an error response; the existing directory will have been the one that failed to reset, so let's delete it. the one deleted is not the cache (repo/PROJECT/), thus otherwise maintaining current behaviour. Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/grub/default/patches/0001-borderfix/0002-say-the-name-libreboot-in-the-grub-menu.patch')
0 files changed, 0 insertions, 0 deletions