diff --git a/Jenkinsfile b/Jenkinsfile index 2e03696..14f05e4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -34,7 +34,8 @@ node { _envmap["${_n}"] = "${_v}"; } sh "mkdir -p ${rel_dir}" - sh "rm -rvf ${rel_dir}/* | true" + sh "rm -rvf ${rel_dir}" + sh "mkdir -p ${rel_dir}" def _msg = "Built images:" def platforms = ['debian', 'osx', 'windows', 'windows32', 'android', 'pi', 'ubuntu'] for (int i = 0; i < platforms.size(); ++i) {