From 0cf16b3a4a54e0ba74cecfb7b7eebb5ea71536f9 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 16 Jan 2020 11:41:59 +0100
Subject: [PATCH] Remove unneeded tla2b Gradle task
It only copies the jar created by createJar to a different location,
which doesn't seem to have any particular use.
---
.gitignore | 3 ---
.travis.yml | 2 +-
build.gradle | 11 -----------
3 files changed, 1 insertion(+), 15 deletions(-)
diff --git a/.gitignore b/.gitignore
index d4bdffa..61f75f4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,3 @@
.classpath
.project
.settings/
-
-# Build output
-TLA2B.jar
diff --git a/.travis.yml b/.travis.yml
index 35de1f5..9120ef0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,5 @@
language: java
-script: ./gradlew tla2b check uploadArchives
+script: ./gradlew createJar check uploadArchives
before_install:
- openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg
diff --git a/build.gradle b/build.gradle
index 0b5c8e3..5e0cbc0 100644
--- a/build.gradle
+++ b/build.gradle
@@ -81,17 +81,6 @@ task createJar(type: Jar, dependsOn: classes){
}
}
-
-task tla2b(dependsOn: createJar) {
- doLast{
- copy {
- from('build/libs/')
- into('.')
- include('TLA2B.jar')
- }
- }
-}
-
if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
apply plugin: 'signing'
--
GitLab