From b4366720103df57cf45092f83a5d3284095abba8 Mon Sep 17 00:00:00 2001
From: Markus Fleschutz <markus.fleschutz@gmail.com>
Date: Fri, 5 Jan 2024 11:49:46 +0100
Subject: [PATCH] Update Jenkinsfile

---
 data/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/Jenkinsfile b/data/Jenkinsfile
index f8636b16..8101531a 100644
--- a/data/Jenkinsfile
+++ b/data/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {		// requires Jenkins plugin 'PowerShell'
         stage ('Cleanup') {
             steps {
                 echo "Pulled from ${env.GIT_URL}, branch ${env.GIT_BRANCH}, commit {$env.GIT_COMMIT} ..."
-                sh 'git clean -d --force'
+                sh 'git clean -xdf'
                 sh 'git status'
             }
         }