| --no-documentation|--without-documentation) |
| flags="$flags -Dgerrit.documentation.skip=true" |
| --no-plugins|--without-plugins) |
| flags="$flags -Dgerrit.plugins.skip=true" |
| --no-tests|--without-tests) |
| flags="$flags -Dgerrit.acceptance-tests.skip=true" |
| flags="$flags -Dmaven.tests.skip=true" |
| echo >&2 "usage: $0 [--no-documentation] [--no-plugins] [--no-tests]" |
| git update-index -q --refresh |
| if test -n "$(git diff-index --name-only HEAD --)" \ |
| || test -n "$(git ls-files --others --exclude-standard)" |
| echo >&2 "error: working directory is dirty, refusing to build" |
| ./tools/version.sh --release && |
| mvn clean package verify $flags |
| ./tools/version.sh --reset |
| echo Built Gerrit Code Review `git describe`: |
| ls gerrit-war/target/gerrit-*.war |