summaryrefslogtreecommitdiffstats
path: root/resources/scripts/helpers/build/roms
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
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')
-rwxr-xr-xresources/scripts/helpers/build/roms/helper3
-rwxr-xr-xresources/scripts/helpers/build/roms/withgrub3
2 files changed, 4 insertions, 2 deletions
diff --git a/resources/scripts/helpers/build/roms/helper b/resources/scripts/helpers/build/roms/helper
index 0a4f06c..d63598d 100755
--- a/resources/scripts/helpers/build/roms/helper
+++ b/resources/scripts/helpers/build/roms/helper
@@ -21,7 +21,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
if (( $# != 1 )); then
echo "Usage: ./buildrom-withgrub boardname"
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