diff options
author | Leah Rowe <leah@libreboot.org> | 2023-05-18 13:03:28 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-05-18 13:03:28 +0100 |
commit | 1e8f2cc170015240a5278de991ad9cce27d5fe4a (patch) | |
tree | e0f21fb3518d6a98b5d12c792a23fd88cbf46033 /resources/grub/config | |
parent | 3da8d20cd6b5e7e9338d16ce82edca20ede65585 (diff) |
gitclone: only rm the old directory at the end
this way, it will only be deleted after the
new git clone and patching worked successfully
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'resources/grub/config')
0 files changed, 0 insertions, 0 deletions