summaryrefslogtreecommitdiffstats
path: root/resources/utilities
diff options
context:
space:
mode:
Diffstat (limited to 'resources/utilities')
-rwxr-xr-xresources/utilities/grub-assemble/gen.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh
index affa58b..8174939 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"