diff options
| -rwxr-xr-x | resources/utilities/grub-assemble/gen.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh index affa58bb..8174939e 100755 --- a/resources/utilities/grub-assemble/gen.sh +++ b/resources/utilities/grub-assemble/gen.sh @@ -7,7 +7,8 @@ # The original grub-assemble that this tool is based on: # https://gitorious.org/gnutoo-for-coreboot/grub-assemble -set -u -e -v +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e if (( $# != 1 )); then echo "Usage: ./gen.sh mode" |