From a8f98cc94829df621c2b280e36b8106ddf3f0147 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 27 Feb 2024 15:03:48 +0100
Subject: [PATCH] Fix ./gradlew clean deleting the entire de.prob.repository
directory
---
tycho_build.gradle | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/tycho_build.gradle b/tycho_build.gradle
index 7fabe74f..5913c9d6 100644
--- a/tycho_build.gradle
+++ b/tycho_build.gradle
@@ -377,7 +377,8 @@ task createRepository() {
}
task deleteRepository(type: Delete) {
- delete(workspacePath + "${repositoryName}")
+ delete(workspacePath + repositoryName + "/pom.xml")
+ delete(workspacePath + repositoryName + "/target")
}
clean.dependsOn(deleteRepository)
--
GitLab