Bug 9751 - add user home build.properties to build.xml
Summary: add user home build.properties to build.xml
Alias: None
Product: Taglibs
Classification: Unclassified
Component: Unknown Taglib (show other bugs)
Version: 1.0
Hardware: All All
: P3 enhancement (vote)
Target Milestone: ---
Assignee: Tomcat Developers Mailing List
Depends on:
Reported: 2002-06-10 17:51 UTC by Steve Byrne
Modified: 2004-11-16 19:05 UTC (History)
0 users


Note You need to log in before you can comment on or make changes to this bug.
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.