# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1703165230 -3600
# Node ID 6c2aa6fb034e48ad2a58e96f7b9a8537c975e8b7
# Parent  a03de7b24ae89c45242b69e070bdc6f2fd65c41f
There is no MCL_{MAJOR,MINOR} to replace.

diff --git a/build.xml b/build.xml
--- 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."/>
diff --git a/build_jre17.xml b/build_jre17.xml
--- 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."/>