diff --git a/Jenkinsfile b/Jenkinsfile
index a274b838ec4..76348d849e3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -69,6 +69,9 @@ def checkoutMbeddr() {
 	} else {
 		reference = "${BASE}\\workspace\\mbeddr_Reference_Repo\\mbeddr.core\\"
 	}
+	
+	echo "Reference-Path: ${reference}"
+	
 	checkout([
 		  $class: 'GitSCM',
 		  branches: scm.branches,
diff --git a/cbmc.groovy b/cbmc.groovy
index 59455000c90..5e51c4e61c6 100644
--- a/cbmc.groovy
+++ b/cbmc.groovy
@@ -80,6 +80,9 @@ def checkoutMbeddr() {
 	} else {
 		reference = "${BASE}\\workspace\\mbeddr_Reference_Repo\\mbeddr.core\\"
 	}
+	
+	echo "Reference-Path: ${reference}"
+	
 	checkout([
 		  $class: 'GitSCM',
 		  branches: scm.branches,