From 6c70211aebae81789aa82061447c8cec134ce9bb Mon Sep 17 00:00:00 2001
From: Boris Baldassari <boris@chrysalice.org>
Date: Tue, 9 Feb 2021 22:14:15 +0100
Subject: [PATCH] #5 Fix bug in jenkins get.
Signed-off-by: Boris Baldassari <boris@chrysalice.org>
---
JenkinsfileGet | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/JenkinsfileGet b/JenkinsfileGet
index d0c9a58..0ed4d87 100755
--- a/JenkinsfileGet
+++ b/JenkinsfileGet
@@ -46,8 +46,8 @@ pipeline {
echo "Building website."
cd scripts/ && sh ./build_website.sh
echo "Cleaning website zone from non-compressed files."
- find ../website/public/ -name "*.csv" -exec rm {} \;
- find ../website/public/ -name "git*.txt" -exec rm {} \;
+ find ../website/public/ -name "*.csv" | xargs rm -rf
+ find ../website/public/ -name "git*.txt" | xargs rm -rf
'''
}
}
--
GitLab