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