diff options
| -rwxr-xr-x | resources/utilities/grub-assemble/gen.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh index b4ae7ad1..6090e1e1 100755 --- a/resources/utilities/grub-assemble/gen.sh +++ b/resources/utilities/grub-assemble/gen.sh @@ -4,6 +4,9 @@ # notice and this notice are preserved. This file is offered as-is, # without any warranty. +# The original grub-assemble that this tool is based on: +# https://gitorious.org/gnutoo-for-coreboot/grub-assemble + set -u -e -v if (( $# != 1 )); then |