Add additional echo statement to check the path to the reference repo

mbeddr · Aug 19, 2016 · f9a2ac9 · f9a2ac9
1 parent 122dfef
commit f9a2ac9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -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,