Files
error-prone-support/run-full-build.sh
Stephan Schroevers 977019c5bf Improve contribution documentation (#572)
- Introduce a `./run-full-build.sh` script.
- Explicitly mention that users should run this script before opening a pull
  request.
- Emphasize that many build warnings can be resolved automatically.
- Introduce a `SECURITY.md` file as suggested by GitHub.
2023-04-13 09:10:56 +02:00

22 lines
564 B
Bash
Executable File

#!/usr/bin/env bash
# Builds the project twice: once against the original Error Prone release,
# using only Error Prone checks available on Maven Central, and once against
# the Picnic Error Prone fork, additionally enabling all checks defined in this
# project and any Error Prone checks available only from other artifact
# repositories.
set -e -u -o pipefail
settings="$(dirname "${0}")/settings.xml"
mvn clean install \
-s "${settings}" \
$@
mvn clean install \
-s "${settings}" \
-Perror-prone-fork \
-Pnon-maven-central \
-Pself-check \
$@