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