| function fail { echo 1>&2 FAILURE: "$*" ; exit 1; } | |
| function cpchk { cp -avf $* || fail $1 not copied; } | |
| [ -d "$VIRGO_HOME" ] || fail VIRGO_HOME not set. | |
| # 3rd-party dependencies | |
| mvn -f virgo-setup.xml dependency:copy || fail maven deployment failed. | |
| echo | |
| echo SUCCESS. |