ci: don't fail when nothing to delete

Change-Id: Ided795c3b60f053dfaff89be6e944cf2cce5faba
2021-09-29 13:41:50 +03:00 · 2021-09-29 13:41:50 +03:00 · f52f5931da
commit f52f5931da
parent 0d58172c38
1 changed files with 1 additions and 1 deletions
--- a/Jenkinsfile.public
+++ b/Jenkinsfile.public
@ -23,7 +23,7 @@ pipeline {
                sh "chmod -R 777 ."
                // Bash requires extglob option to support !(.git) syntax,
                // and we don't want to delete .git to have faster clones.
-                sh 'bash -O extglob -c "rm -r !(.git)"'
+                sh 'bash -O extglob -c "rm -rf !(.git)"'

                checkout scm