summaryrefslogtreecommitdiffstats
path: root/resources/scripts/helpers/build/roms/withgrub
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-02-19 22:15:20 (EST)
committer Francis Rowe <info@gluglug.org.uk>2015-02-19 22:23:52 (EST)
commita4edcd82dc5405d8b58bf6ea2ddb6f928c059049 (patch)
tree1e15f2eaf4eb3541d14ab5d057a411b47604744e /resources/scripts/helpers/build/roms/withgrub
parent2fe82322b537e39fa6e5fbc9fb0242c2b9a93c26 (diff)
downloadlibreboot-a4edcd82dc5405d8b58bf6ea2ddb6f928c059049.zip
libreboot-a4edcd82dc5405d8b58bf6ea2ddb6f928c059049.tar.gz
libreboot-a4edcd82dc5405d8b58bf6ea2ddb6f928c059049.tar.bz2
bash scripts: Only enable verbose output if DEBUG= is used
Diffstat (limited to 'resources/scripts/helpers/build/roms/withgrub')
-rwxr-xr-xresources/scripts/helpers/build/roms/withgrub3
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub
index 9fa20e5..18cf62e 100755
--- a/resources/scripts/helpers/build/roms/withgrub
+++ b/resources/scripts/helpers/build/roms/withgrub
@@ -22,7 +22,8 @@
# This script assumes that the working directory is the root
# of libreboot_src or git
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
# Build the ROM images