From 1010eaf6dbb30889a2077474c5b3d1dcd4563b95 Mon Sep 17 00:00:00 2001
From: Ivan Pelipenko <peri4ko@yandex.ru>
Date: Thu, 28 May 2020 15:00:25 +0300
Subject: [PATCH] Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 856c8f8..4d5d00d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -48,7 +48,7 @@ pipeline {
 			steps {
 				checkout scm
 				sh "rm -rf share"
-				sh "rm -v *.zip"
+				sh "rm -vf *.zip"
 				sh "mkdir -p build"
 				sh "cd build && cmake -DLIB=0 -DCMAKE_INSTALL_PREFIX=`pwd` ../"
 				sh "cd build && make doc"