Jenkinsfile

2020-05-28 15:00:25 +03:00
parent 007e3db9ef
commit 1010eaf6db
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -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"