| 24 |
|
/usr/local/bin/wget -nv ${HTTPSERVER}jaxp.jar; \ |
| 25 |
|
fi |
| 26 |
|
|
| 27 |
< |
if test -r "parser.jar"; then \ |
| 28 |
< |
echo " parser.jar found"; \ |
| 27 |
> |
if test -r "crimson.jar"; then \ |
| 28 |
> |
echo " crimson.jar found"; \ |
| 29 |
|
else \ |
| 30 |
< |
echo " parser.jar not found, fetching from ${HTTPSERVER}parser.jar"; \ |
| 31 |
< |
/usr/local/bin/wget -nv ${HTTPSERVER}parser.jar; \ |
| 30 |
> |
echo " crimson.jar not found, fetching from ${HTTPSERVER}crimson.jar"; \ |
| 31 |
> |
/usr/local/bin/wget -nv ${HTTPSERVER}crimson.jar; \ |
| 32 |
|
fi |
| 33 |
|
|
| 34 |
|
if test -r "mm.mysql-2.0.2-bin.jar"; then \ |
