From bf91425563b6dcab439ca246161e64508f469dd8 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Fri, 23 Mar 2012 11:19:40 +0100
Subject: [PATCH] cleanup target directory
---
build.gradle | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index bc582b5d..8d42db5c 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"
--
GitLab