Mercurial > hg > monetdb-java
diff build.xml @ 785:e00866975421
Get rid of JDBC_DEF_PORT
There is really no need to make that changeable.
author | Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com> |
---|---|
date | Fri, 30 Jun 2023 11:16:23 +0200 (22 months ago) |
parents | f261fe3c7fe4 |
children | f7df78989ac5 |
line wrap: on
line diff
--- a/build.xml +++ b/build.xml @@ -255,12 +255,10 @@ Copyright 1997 - July 2008 CWI, August 2 <filter token="JDBC_MINOR" value="${JDBC_MINOR}" /> <filter token="MCL_MAJOR" value="${MCL_MAJOR}" /> <filter token="MCL_MINOR" value="${MCL_MINOR}" /> - <filter token="JDBC_DEF_PORT" value="${JDBC_DEF_PORT}" /> <filter token="JDBC_VER_SUFFIX" value="${JDBC_VER_SUFFIX} ${TODAY}" /> <fail unless="JDBC_MAJOR" message="'JDBC_MAJOR' undefined. Please follow the directions in build.properties."/> <fail unless="JDBC_MINOR" message="'JDBC_MINOR' undefined. Please follow the directions in build.properties."/> - <fail unless="JDBC_DEF_PORT" message="'JDBC_DEF_PORT' undefined. Please follow the directions in build.properties."/> <fail unless="JDBC_VER_SUFFIX" message="'JDBC_VER_SUFFIX' undefined. Please follow the directions in build.properties."/> <!-- now copy and filter the file -->