From dcb44c0d3a30240c2a409684fbe287c1a66286d2 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 16 Dec 2020 13:07:42 +0100
Subject: [PATCH] use version 1.10.0-final of probcli
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index e0f8fe65..4293a92c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -75,7 +75,7 @@ task downloadCli {
def targetdir = dir+it.getValue()
def targetzip = dir+"probcli_${n}.zip"
- def url = "https://www3.hhu.de/stups/downloads/prob/cli/nightly/probcli_${n}.zip"
+ def url = "https://www3.hhu.de/stups/downloads/prob/cli/releases/1.10.0-final/probcli_${n}.zip"
download(url,targetzip)
FileTree zip = zipTree(targetzip)
copy {
--
GitLab