From f9a2ac9fd172e43f106c34107d68ac0f321f5a02 Mon Sep 17 00:00:00 2001
From: Stefan Weise <weise@itemis.de>
Date: Fri, 19 Aug 2016 16:40:38 +0200
Subject: [PATCH] Add additional echo statement to check the path to the
 reference repo

---
 Jenkinsfile | 3 +++
 cbmc.groovy | 3 +++
 2 files changed, 6 insertions(+)

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,