# | Line 37 | Line 37 | else \ | |
---|---|---|
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" | |
48 | cd ${HOME} | |
49 | if test -r "jacorb.properties"; then \ |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |