blob: b612d95d1fd9db6293a9bafb64a07c40a00a016d [file] [log] [blame] [edit]
#!/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