From 9fb4f031dee4005b8126f1cbaad9b1ac90a3ac47 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 26 May 2014 11:11:30 +0200
Subject: [PATCH] path to windows lib
---
build.gradle | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/build.gradle b/build.gradle
index 5b7abb90..1575c67c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -93,8 +93,8 @@ task downloadCli << {
}
def targetdir = dir+"windows/"
- def targetzip = targetdir+"windowslib.zip"
- download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip)
+ def targetzip = targetdir+"windowslib32.zip"
+ download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib32.zip",targetzip)
FileTree zip = zipTree(targetzip)
copy {
from zip
@@ -128,8 +128,8 @@ task downloadCli2 ( type: Exec ) {
}
def targetdir = dir+"windows/"
- def targetzip = targetdir+"windowslib.zip"
- download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip)
+ def targetzip = targetdir+"windowslib32.zip"
+ download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib32.zip",targetzip)
FileTree zip = zipTree(targetzip)
copy {
from zip
--
GitLab