summaryrefslogtreecommitdiff
path: root/resources/scripts/build/grub
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/build/grub')
-rwxr-xr-xresources/scripts/build/grub/utils2
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
}