diff options
Diffstat (limited to 'resources/scripts/build/grub')
| -rwxr-xr-x | resources/scripts/build/grub/utils | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/build/grub/utils b/resources/scripts/build/grub/utils index dbe14bc0..3ef78227 100755 --- a/resources/scripts/build/grub/utils +++ b/resources/scripts/build/grub/utils @@ -27,7 +27,7 @@ set -u -e main() { printf "Building GRUB\n" - [ -d "grub/" ] || ./fetch grub || exit 1 + [ -d "grub/" ] || ./fetch grub || err "cannot fetch grub" build_grub } |