Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 982ed5bff06f40e924f08895f049b94b54876da1)
+++ 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