Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 5783e94d349cc490485b7c80b4c27c839b78ddb3)
+++ Jenkinsfile	(revision 805c167a6eda041c228a5aae285ad92dc7cf773b)
@@ -88,4 +88,6 @@
 //Helper routine to collect information about the git history
 def collect_git_info() {
+
+	checkout scm
 
 	//create the temporary output directory in case it doesn't already exist