| include_docs=-Dgerrit.include-documentation=1 |
| --no-documentation|--without-documentation) |
| echo >&2 "usage: $0 [--without-documentation]" |
| 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 $include_docs |
| ./tools/version.sh --reset |
| echo Built Gerrit Code Review `git describe`: |
| ls gerrit-war/target/gerrit-*.war |