[#13281] Enable debug

da98b5bb · Emmanuel Milou · 8b3038ff · da98b5bb
Commit da98b5bb authored Jul 30, 2012 by Emmanuel Milou
--- a/tools/build-system/launch-build-machine-jenkins.sh
+++ b/tools/build-system/launch-build-machine-jenkins.sh
@@ -10,7 +10,7 @@
 # Last Modified: 2010-04-22 16:42:57 -0400
 #####################################################

-#set -x
+set -x

 # . `dirname $0`/setenv.sh