diff options
Diffstat (limited to 'resources/utilities/grub-assemble/gen.sh')
| -rwxr-xr-x | resources/utilities/grub-assemble/gen.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh index 880fa666..fb1896bc 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) |