Bug 9751

Summary: add user home build.properties to build.xml
Product: Taglibs Reporter: Steve Byrne <sbb>
Component: Unknown TaglibAssignee: Tomcat Developers Mailing List <dev>
Status: CLOSED FIXED    
Severity: enhancement    
Priority: P3    
Version: 1.0   
Target Milestone: ---   
Hardware: All   
OS: All   

Description Steve Byrne 2002-06-10 17:51:07 UTC
The build.xml file for taglibs, unlike many of the other jakarta project build 
files, does not refer to the user's home build.properties file.  This is quite 
a useful bit of functionality to have, as it allows one (once the user's own 
build.properties file has been set up) to checkout and build a package without 
having to make any modifications to the package directory.

I suggest putting the user's build.properties after the default ones, so that
the user can make any local overrides they need to (assuming that for some 
reason there is a default build.properties file in the user's environment).

  <property file="build.properties"/>
  <property file="${user.home}/build.properties"/>
Comment 1 Glenn Nielsen 2002-12-02 00:17:54 UTC
The change has been made in CVS, thanks for the suggestion.