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