diff --git a/Jenkinsfile b/Jenkinsfile index 4038c43..857e6b8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -128,7 +128,7 @@ sh """ cd ledger - mkdir -p ${OUTPUTDIR} && ./jenkins/run_robot.sh + mkdir -p ${OUTPUTDIR} && bash ./jenkins/run_robot.sh ls -lart ${OUTPUTDIR} """ }