bash scripts: Only enable verbose output if DEBUG= is used

8 files changed, 16 insertions, 8 deletions

diff --git a/resources/scripts/helpers/build/clean/bucts b/resources/scripts/helpers/build/clean/bucts
index eb90734..f84cd58 100755
--- a/resources/scripts/helpers/build/clean/bucts
+++ b/resources/scripts/helpers/build/clean/bucts
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # clean bucts
 # --------------------------------------------------------
diff --git a/resources/scripts/helpers/build/clean/coreboot b/resources/scripts/helpers/build/clean/coreboot
index dd1cc0f..4af7391 100755
--- a/resources/scripts/helpers/build/clean/coreboot
+++ b/resources/scripts/helpers/build/clean/coreboot
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # clean coreboot utilities (dependencies for 'build'):
 # -------------------------------------------------------
diff --git a/resources/scripts/helpers/build/clean/flashrom b/resources/scripts/helpers/build/clean/flashrom
index 1705468..483ce4f 100755
--- a/resources/scripts/helpers/build/clean/flashrom
+++ b/resources/scripts/helpers/build/clean/flashrom
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # clean flashrom
 # --------------------------------------------------------
diff --git a/resources/scripts/helpers/build/clean/grub b/resources/scripts/helpers/build/clean/grub
index 6f3dccc..b6e4f13 100755
--- a/resources/scripts/helpers/build/clean/grub
+++ b/resources/scripts/helpers/build/clean/grub
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # clean grub
 # --------------------------------------------------------
diff --git a/resources/scripts/helpers/build/clean/i945pwm b/resources/scripts/helpers/build/clean/i945pwm
index 41334e6..fa9aecf 100755
--- a/resources/scripts/helpers/build/clean/i945pwm
+++ b/resources/scripts/helpers/build/clean/i945pwm
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # clean i945-pwm utility
 # --------------------------------------------------------------------
diff --git a/resources/scripts/helpers/build/clean/ich9deblob b/resources/scripts/helpers/build/clean/ich9deblob
index fa5b671..f3ee46a 100755
--- a/resources/scripts/helpers/build/clean/ich9deblob
+++ b/resources/scripts/helpers/build/clean/ich9deblob
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # clean ich9deblob utility
 # --------------------------------------------------------------------
diff --git a/resources/scripts/helpers/build/clean/memtest86plus b/resources/scripts/helpers/build/clean/memtest86plus
index cd01bdd..8d4ede6 100755
--- a/resources/scripts/helpers/build/clean/memtest86plus
+++ b/resources/scripts/helpers/build/clean/memtest86plus
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # clean memtest86+
 # --------------------------------------------------------
diff --git a/resources/scripts/helpers/build/clean/rom_images b/resources/scripts/helpers/build/clean/rom_images
index 40bbe19..592b111 100755
--- a/resources/scripts/helpers/build/clean/rom_images
+++ b/resources/scripts/helpers/build/clean/rom_images
@@ -21,7 +21,8 @@
 # This script assumes that the current working directory is the root
 # of libreboot_src or libreboot git
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 # Delete the ROM images
 # --------------------------------------------------------