1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
From: Jakub Adam <jakub.adam@ktknet.cz>
Date: Mon, 16 Jan 2023 23:22:18 +0100
Subject: Don't look for build.properties in the user home directory.
Forwarded: not-needed
This directory doesn't exist on the builders and the attempt to load
a property file there causes a build failure.
---
build.xml | 1 -
1 file changed, 1 deletion(-)
--- a/build.xml
+++ b/build.xml
@@ -864,7 +864,6 @@
<!-- Property that determines if manifests need updating -->
<uptodate property="manifests.uptodate"
targetfile="${tomcat.manifests}/default.manifest" >
- <srcfiles file="${user.home}/build.properties" />
<srcfiles file="${basedir}/build.properties" />
<srcfiles file="${basedir}/build.properties.default" />
<srcfiles file="${basedir}/build.xml" />
|
