From 803c4ed4e3c56ac46232112f470b83cb225f5fb1 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 18 Jul 2024 12:52:55 +0200
Subject: [PATCH] Replace use of deprecated task << operator in build.gradle
---
tlatools/build.gradle | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 94e0e3a9d..058e19f2b 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -33,13 +33,11 @@ javadoc {
failOnError = false
}
-task tlatools(dependsOn: build) << {
- copy {
- from('build/libs/')
- into('build/tlatools')
- include('tlatools-' + project.version + '.jar')
- rename('tlatools-(.+)', 'tlatools.jar')
- }
+task tlatools(type: Copy, dependsOn: build) {
+ from('build/libs/')
+ into('build/tlatools')
+ include('tlatools-' + project.version + '.jar')
+ rename('tlatools-(.+)', 'tlatools.jar')
}
if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
--
GitLab