| #!/bin/bash | |
| set -e | |
| set -o verbose | |
| set -o xtrace | |
| export SHELLOPTS | |
| echo "SHELLOPTS=${SHELLOPTS}" | |
| SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" | |
| # In newer shellcheck than 0.6.0, pass: "-P SCRIPTDIR" (literally) | |
| # shellcheck disable=SC1090 | |
| source "$SCRIPTDIR"/build.sh | |
| # Pluggable type-checking: run the Checker Framework on itself | |
| ./gradlew typecheck --console=plain --warning-mode=all --no-daemon |