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