Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 1752d0e478e5830a45457ae1486b58159a96ffac)
+++ Jenkinsfile	(revision 59be8732a9bc952f20841a215fa27b812c300b64)
@@ -262,7 +262,7 @@
 		//Output compiler version to help with debug
 		echo """C++ Compiler :"""
-		sh "${compiler.cpp_cc}"
+		sh "${compiler.cpp_cc} --version"
 		echo """C   Compiler :"""
-		sh "${compiler.cfa_cc}"
+		sh "${compiler.cfa_cc} --version"
 
 		//Configure the conpilation (Output is not relevant)