diff options
| author | Leah Rowe <leah@libreboot.org> | 2024-07-17 17:28:27 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2024-07-17 17:28:27 +0100 |
| commit | ef867ecccad5464690c4fa342946fa2c7a4eac3d (patch) | |
| tree | 918c49687309b3831e8798da2e90957df2dfcd53 /config/grub/default/patches/0001-borderfix/0002-say-the-name-libreboot-in-the-grub-menu.patch | |
| parent | 4d5385a14de8f74a54877ec91a877b4f01cf472f (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