--- projects/cms/source/server/configure	2000/12/13 18:34:09	1.2
+++ projects/cms/source/server/configure	2001/01/22 21:18:34	1.5
@@ -4,7 +4,7 @@ HTTPSERVER="http://killigrew.ukc.ac.uk/"
 
 echo "Generating Makefile includes"
 echo "SERVERROOT="`pwd` > Config.inc
-echo "include $(SERVERROOT)/Config2.inc" >> Config.inc
+echo "include \$(SERVERROOT)/Config2.inc" >> Config.inc
 
 echo "Checking for required libraries"
 cd build/lib
@@ -35,6 +35,13 @@ if test -r "parser.jar"; then \
 else \
   echo "  parser.jar not found, fetching from ${HTTPSERVER}parser.jar"; \
   wget -nv ${HTTPSERVER}parser.jar; \
+fi
+
+if test -r "mm.mysql-2.0.2-bin.jar"; then \
+  echo "  mm.mysql-2.0.2-bin.jar found"; \
+else \
+  echo "  mm.mysql-2.0.2-bin.jar not found, fetching from ${HTTPSERVER}mm.mysql-2.0.2-bin.jar"; \
+  wget -nv ${HTTPSERVER}mm.mysql-2.0.2-bin.jar; \
 fi
 
 echo "Checking for jacorb.properties"