summaryrefslogtreecommitdiff
path: root/resources/utilities/grub-assemble/gen.sh
diff options
context:
space:
mode:
Diffstat (limited to 'resources/utilities/grub-assemble/gen.sh')
-rwxr-xr-xresources/utilities/grub-assemble/gen.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh
index 880fa66..fb1896b 100755
--- a/resources/utilities/grub-assemble/gen.sh
+++ b/resources/utilities/grub-assemble/gen.sh
@@ -4,6 +4,8 @@
# notice and this notice are preserved. This file is offered as-is,
# without any warranty.
+set -u -e -v
+
# TODO: Fail (and clean up) if GRUB isn't actually built. Error checking.
# This is where GRUB is expected to be (outside of the grub-assemble, instead in main checkout)