Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 2aa2056f64da59ab4717e6588935a91c2a7705c7)
+++ Jenkinsfile	(revision ab5cd196c8414f7db69b7336a0510c1b04123ebd)
@@ -158,4 +158,6 @@
 	do_sendemail	= ! (params.Silent == 'true')
 
+	echo params.RunAllTests.getClass().toString();
+
 	collect_git_info()