Newer
Older
gitbucket_jkp / release / make-release-war.sh
@Naoki Takezoe Naoki Takezoe on 31 Jul 2015 292 bytes Update release scripts
#!/bin/sh
D="$(dirname "$0")"
D="$(cd "${D}"; pwd)"
DD="$(dirname "${D}")"
(
  for f in "${D}/env.sh" "${D}/build.xml"; do
    if [ ! -s "${f}" ]; then
      echo >&2 "$0: Unable to access file '${f}'"
      exit 1
    fi
  done
  . "${D}/env.sh"
  cd "${DD}"
  ant -f "${D}/build.xml" all
)