From e91260f5c5dcee53efc7eacd2e7621f7523d5e6a Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 9 Aug 2021 13:41:16 +0200
Subject: [PATCH] Remove windowslib64.zip download
All files from windowslib64.zip are already included in
probcli_win64.zip, so it's enough to download just the second ZIP.
---
build.gradle | 10 ----------
1 file changed, 10 deletions(-)
diff --git a/build.gradle b/build.gradle
index 1faf59b1..31f98d8d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -85,16 +85,6 @@ task downloadCli {
}
delete file(targetzip)
}
-
- def targetdir = dir + "windows/"
- def targetzip = targetdir + "windowslib64.zip"
- download("https://www3.hhu.de/stups/downloads/prob/cli/nightly/windowslib64.zip",targetzip)
- FileTree zip = zipTree(targetzip)
- copy {
- from zip
- into targetdir
- }
- delete file(targetzip)
}
}
--
GitLab