# | Line 4 | Line 4 | HTTPSERVER="http://killigrew.ukc.ac.uk/" | |
---|---|---|
4 | ||
5 | echo "Generating Makefile includes" | |
6 | echo "SERVERROOT="`pwd` > Config.inc | |
7 | < | echo "include $(SERVERROOT)/Config2.inc" >> Config.inc |
7 | > | echo "include \$(SERVERROOT)/Config2.inc" >> Config.inc |
8 | ||
9 | echo "Checking for required libraries" | |
10 | cd build/lib | |
# | Line 35 | Line 35 | if test -r "parser.jar"; then \ | |
35 | else \ | |
36 | echo " parser.jar not found, fetching from ${HTTPSERVER}parser.jar"; \ | |
37 | wget -nv ${HTTPSERVER}parser.jar; \ | |
38 | + | fi |
39 | + | |
40 | + | if test -r "mysql.jar"; then \ |
41 | + | echo " mysql.jar found"; \ |
42 | + | else \ |
43 | + | echo " mysql.jar not found, fetching from ${HTTPSERVER}mysql.jar"; \ |
44 | + | wget -nv ${HTTPSERVER}mysql.jar; \ |
45 | fi | |
46 | ||
47 | echo "Checking for jacorb.properties" |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |