diff --git a/jenkins-pipeline/Jenkinsfile.001 b/jenkins-pipeline/Jenkinsfile.001
index 89ec671..0312aef 100644
--- a/jenkins-pipeline/Jenkinsfile.001
+++ b/jenkins-pipeline/Jenkinsfile.001
@@ -43,6 +43,7 @@ pipeline {
 				stages {
 					stage('Checkout') {
 						steps {
+							echo "Checking out for ${BUILD_TYPE} on ${PLATFORM}"
 							checkout([$class: 'SubversionSCM', 
 								additionalCredentials: [], 
 								excludedCommitMessages: '', 
@@ -64,7 +65,7 @@ pipeline {
 					stage('Build') {
 						steps {
 							echo "Do build for ${BUILD_TYPE} on ${PLATFORM}"
-							sh "./configure && make"
+							sh "ls -laF && ./configure && make"
 						}
 					}