aboutsummaryrefslogtreecommitdiff
path: root/resources/scripts/helpers/build/clean/flashrom
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/helpers/build/clean/flashrom')
-rwxr-xr-xresources/scripts/helpers/build/clean/flashrom3
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/clean/flashrom b/resources/scripts/helpers/build/clean/flashrom
index 17054682..483ce4f6 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
# --------------------------------------------------------