changeset 830:6c2aa6fb034e

There is no MCL_{MAJOR,MINOR} to replace.
author Sjoerd Mullender <sjoerd@acm.org>
date Thu, 21 Dec 2023 14:27:10 +0100 (16 months ago)
parents a03de7b24ae8
children 5f3e19ef251a
files build.xml build_jre17.xml
diffstat 2 files changed, 0 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/build.xml
+++ b/build.xml
@@ -253,8 +253,6 @@ Copyright 1997 - July 2008 CWI, August 2
     <!-- Some defaults -->
     <filter token="JDBC_MAJOR" value="${JDBC_MAJOR}" />
     <filter token="JDBC_MINOR" value="${JDBC_MINOR}" />
-    <filter token="MCL_MAJOR" value="${MCL_MAJOR}" />
-    <filter token="MCL_MINOR" value="${MCL_MINOR}" />
     <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."/>
--- a/build_jre17.xml
+++ b/build_jre17.xml
@@ -256,8 +256,6 @@ Copyright 1997 - July 2008 CWI, August 2
     <!-- Some defaults -->
     <filter token="JDBC_MAJOR" value="${JDBC_MAJOR}" />
     <filter token="JDBC_MINOR" value="${JDBC_MINOR}" />
-    <filter token="MCL_MAJOR" value="${MCL_MAJOR}" />
-    <filter token="MCL_MINOR" value="${MCL_MINOR}" />
     <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."/>