1 files changed, 2 insertions, 1 deletions
diff --git a/build b/build
index 802fc20b..896d408e 100755
--- a/build
+++ b/build
@@ -19,7 +19,8 @@
 #    along with this program.  If not, see <http://www.gnu.org/licenses/>.
 #
 
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
 
 build=./resources/scripts/helpers/build
 mode="unknown"