Seems git clean can fail even when the workspace is dirty; let us jus…

…t try rm -r
jenkinsci · Sep 17, 2020 · 05d8b17 · 05d8b17
1 parent fd8004d
commit 05d8b17
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -19,7 +19,7 @@ for (int i = 0; i < platforms.size(); ++i) {
         node(label) {
                 stage('Checkout') {
                     if (isUnix()) { // have to clean the workspace as root
-                        sh 'docker run --rm -v $(pwd):/src -w /src maven:3.6.0-jdk-8 git clean -fdx || :'
+                        sh 'docker run --rm -v $(pwd):/src -w /src maven:3.6.0-jdk-8 sh -c "rm -rf * .[a-zA-Z]*" || :'
                     }
                     checkout scm
                 }