#5 Fix bug in jenkins get.

Signed-off-by: Boris Baldassari <boris@chrysalice.org>

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 
         ''' 
       }
     }