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) { diff --git a/pip b/pip index 44b9c37..3c20728 160000 --- a/pip +++ b/pip @@ -1 +1 @@ -Subproject commit 44b9c373911834492a9d1804df13963b3bbc6cb7 +Subproject commit 3c2072821033e44853ea617afc629dce0d15319c