Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ab5cd196c8414f7db69b7336a0510c1b04123ebd)
+++ Jenkinsfile	(revision 47b32352e9c8cd9b32f41db9c140fabdff4585b3)
@@ -4,4 +4,6 @@
 // Main loop of the compilation
 //===========================================================================================================
+set -x
+
 node ('master'){