| 32 |
|
echo " + ${LIB} found"; \ |
| 33 |
|
else \ |
| 34 |
|
echo " - ${LIB} not found, fetching from ${HTTPSERVER}${LIB}"; \ |
| 35 |
< |
/usr/local/bin/wget -nv ${HTTPSERVER}${LIB}; \ |
| 35 |
> |
${WGET} -nv ${HTTPSERVER}${LIB}; \ |
| 36 |
|
fi |
| 37 |
|
|
| 38 |
|
done |
| 45 |
|
echo " + jacorb.properties found"; \ |
| 46 |
|
else \ |
| 47 |
|
echo " - jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ |
| 48 |
< |
wget -nv ${HTTPSERVER}jacorb.properties; \ |
| 48 |
> |
${WGET} ${HTTPSERVER}jacorb.properties; \ |
| 49 |
|
fi |
| 50 |
|
|
| 51 |
|
## Write out the include file for the Makefile's |