diff --git a/build.gradle b/build.gradle index bc582b5dbc93e1afa485ef10af3251fb510b1a15..8d42db5c12775203b8ed0dce56009c8e8b348588 100644 --- a/build.gradle +++ b/build.gradle @@ -62,9 +62,13 @@ def download(address,target) { task downloadCli << { + dir = 'de.prob.core/prob/' + delete file(dir) + new File(dir).mkdirs() + ['leopard':'macos','linux':'linux','linux64':'linux64','win32':'windows'].each { n = it.getKey() - dir = 'de.prob.core/prob/' + targetdir = dir+it.getValue() targetzip = dir+"probcli_${n}.zip" url = "http://nightly.cobra.cs.uni-duesseldorf.de/cli/probcli_${n}.zip"