diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-05-14 11:21:56 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-05-14 11:21:56 +0100 |
| commit | db3c1d9ccf64127e64f0bbce843c624c993a8eed (patch) | |
| tree | 856ac364aecbf707f2982a3595cc85ce4e55e8e3 /resources/scripts/download/grub | |
| parent | d90dfb0a08bcc82200227afd7ab3c0b2ab72a91e (diff) | |
download/grub: delete grub if gnulib cloning fails
for our purposes, grub and gnulib are one in the same
if one fails, both have failed
exit with non-zero status if gnulib fails
the script sets -e so it will fail if grub fails to
download, which is tried before gnulib, and if that
happens, the grub directory is not created
Diffstat (limited to 'resources/scripts/download/grub')
| -rwxr-xr-x | resources/scripts/download/grub | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/resources/scripts/download/grub b/resources/scripts/download/grub index 5d0c1aad..ff1ce55c 100755 --- a/resources/scripts/download/grub +++ b/resources/scripts/download/grub @@ -2,7 +2,8 @@ # helper script: Downloads GRUB and patches it. # -# Copyright (C) 2014, 2015, 2016, 2020, 2021 Leah Rowe <info@minifree.org> +# Copyright (C) 2014,2015,2016,2020,2021,2023 Leah Rowe +# <info@minifree.org> # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -22,4 +23,10 @@ set -u -e ./gitclone grub -./gitclone gnulib +./gitclone gnulib || rm -Rf grub/ +if [ ! -d grub ]; then + printf "%s: Could not download grub and gnulib\n" ${0} + exit 1 +else + exit 0 +fi |