diff --git a/Jenkinsfile b/Jenkinsfile
index 15b8240..c568c03 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,6 +13,7 @@ pipeline {
                                 sh 'ls'
 				sh 'cd /opt/workdir'
                                 sh 'ls'
+				sh 'ls /opt '
 				sh 'pwd'
 				sh 'echo $USER'
 				sh 'uname -a'