common: use python instead of calling out to 'rm'

[fdroidserver.git] / jenkins-build-all

diff --git a/jenkins-build-all b/jenkins-build-all
index 2964a9f533cd8edf76d168417430295b766183e0..d33f33b4f2331aad8f6a85da39f2287c84f48ba8 100755 (executable)
--- a/jenkins-build-all
+++ b/jenkins-build-all
@@ -74,7 +74,7 @@ if [ -e fdroiddata ]; then
     git checkout master
     git reset --hard origin/master
     # keep all the cloned source repos
-    git clean -fdx --exclude build
+    git clean -fdx --exclude build --exclude repo --exclude unsigned
 else
     git clone https://gitlab.com/fdroid/fdroiddata.git fdroiddata
     cd fdroiddata