1. Derby
  2. DERBY-4548

would like an alternative location for



      The current build.xml directs ant to look for a file in user.home.
      This can get confusing when you have multiple versions on the same machine.
      I've worked around this in the past by pointing ant at other directories with -Duser.home=..., but it would be easier to have another place set up - I don't really like changing user.home.

      We could add another line to build.xml, e.g., for trunk's current build.xml:
      @@ -20,6 +20,7 @@

      <!-- Set Properties -->
      <!-- User settings -->
      + <property file=""/>
      <property file="$


      <!-- Set property lib dir -->
      <property name="properties.dir" value="tools/ant/properties"/>

      This would make ant look first for in the same directory as the top level build.xml, and secondly for the one in user.home.

      If the community agrees this would be ok, I'd like to make this change and backport it all the way to 10.0.
      By having an additional place we'd not cause incompatibilities to other build processes (except if someone has put an file in the top of the checked out tree).

      If we do this, I think it's up to the developers to ensure that there's not 2 files that are conflicting.

      1. DERBY-4548.diff
        0.4 kB
        Myrna van Lunteren
      2. DERBY-4548.diff_2
        0.5 kB
        Myrna van Lunteren


        No work has yet been logged on this issue.


          • Assignee:
            Myrna van Lunteren
            Myrna van Lunteren
          • Votes:
            0 Vote for this issue
            0 Start watching this issue


            • Created: