--- projects/cms/source/server/configure	2000/12/13 18:34:09	1.2
+++ projects/cms/source/server/configure	2001/01/22 18:31:12	1.4
@@ -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 "mysql.jar"; then \
+  echo "  mysql.jar found"; \
+else \
+  echo "  mysql.jar not found, fetching from ${HTTPSERVER}mysql.jar"; \
+  wget -nv ${HTTPSERVER}mysql.jar; \
 fi
 
 echo "Checking for jacorb.properties"