Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 38bfe32a681084b42bcc6866ba4d3c3287f4b0d7)
+++ Jenkinsfile	(revision a63ad8077691f1dda1895bdc57498104bcbc0416)
@@ -1,2 +1,4 @@
+#!groovy
+
 //===========================================================================================================
 // Main compilation routine