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