1 files changed, 2 insertions, 1 deletions
diff --git a/download b/download
index b8e42caa..3893d7ae 100755
--- a/download
+++ b/download
@@ -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
 
 download=./resources/scripts/helpers/download
 programme="unknown"