build.xml patch

I've included a small patch for build.xml.

The scenario that it fixes:

Knowing that the dev code has a lot of bug fixes not present in the
standard releases, J Random User checks out cvs code, goes directly to
src/interfaces/jdbc and types 'ant'. User then gets compile errors due
to ${major} and ${minor} not being filtered during the creation of
Driver.java. After reading the README (a bit out of order, but who can
say they haven't done similar things) he then tries configuring and
running make. Unfortunately, this also fails because once Driver.java is
created, it's never overwritten.

I'm not sure that overwriting Driver.java is a good thing, but checking
for defined major and minor definitely is.

-mike


Index: build.xml
===================================================================
RCS file: /projects/cvsroot/pgsql-server/src/interfaces/jdbc/build.xml,v
retrieving revision 1.29
diff -c -r1.29 build.xml
*** build.xml    2002/09/25 07:01:30    1.29
--- build.xml    2002/09/27 21:19:17
***************
*** 156,165 ****
--- 156,169 ----
      <filter token="JDBCCONNECTCLASS" value="${connectclass}" />
      <filter token="DEF_PGPORT" value="${def_pgport}" />

+     <fail unless="major" message="'major' undefined. Please follow the directions in README."/>
+     <fail unless="minor" message="'minor' undefined. Please follow the directions in README."/>
+
      <!-- Put a check for the current version here -->

      <!-- now copy and filter the file -->
      <copy file="${package}/Driver.java.in"
+           overwrite="true"
            tofile="${package}/Driver.java"
            filtering="yes" />