diff --git a/JenkinsfileGet b/JenkinsfileGet index d0c9a58a37b5ecc061a7901e651cf4c8eb205b09..0ed4d876e644659f5f345e0ca79380a268e8d0bc 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 ''' } }