diff --git a/support/download/file b/support/download/file
index 6dd37b04dc..e52fcf2c8c 100755
--- a/support/download/file
+++ b/support/download/file
@@ -2,7 +2,6 @@
 
 # We want to catch any unexpected failure, and exit immediately
 set -e
-set -x
 
 # Download helper for cp, to be called from the download wrapper script
 #