-
Notifications
You must be signed in to change notification settings - Fork 350
/
test-guava.sh
executable file
·30 lines (23 loc) · 1.19 KB
/
test-guava.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#!/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 )"
# shellcheck disable=SC1090 # In newer shellcheck than 0.6.0, pass: "-P SCRIPTDIR" (literally)
source "$SCRIPTDIR"/build.sh
# TODO: Maybe I should move this into the CI job, and do it for all CI jobs.
cp "$SCRIPTDIR"/mvn-settings.xml ~/settings.xml
"$SCRIPTDIR/.plume-scripts/git-clone-related" typetools guava
cd ../guava
if [ "$TRAVIS" = "true" ] ; then
# There are two reasons that this script does not work on Travis.
# 1. Travis kills jobs that do not produce output for 10 minutes. (This can be worked around.)
# 2. Travis kills jobs that produce too much output. (This cannot be worked around.)
echo "On Travis, use scripts that run just one type-checker."
exit 1
fi
## This command works locally, but on Azure it fails with timouts while downloading Maven dependencies.
# cd guava && time mvn --debug -B package -P checkerframework-local -Dmaven.test.skip=true -Danimal.sniffer.skip=true
cd guava && time mvn -Dhttp.keepAlive=false -Daether.connector.http.connectionMaxTtl=25 --debug -B compile -P checkerframework-local