check if file ecists

vancraar · vancraar · commit f6097203a233 · 2024-12-11T11:32:58.000+01:00
diff --git a/.jenkins/Jenkinsfile b/.jenkins/Jenkinsfile
@@ -162,8 +162,10 @@ pipeline {
                                     spack uninstall -a -y plssvm@develop || true
                                     spack clean -a || true
 
-                                    cd ${WORKSPACE}/plssvm
-                                    rm -rf *
+                                    if [ -d  ${WORKSPACE}/plssvm ]; then
+                                        cd ${WORKSPACE}/plssvm
+                                        rm -rf *
+                                    fi
                                 '''
 
 
