From 189a4e7f4d5f477d4cb2432f73a4f3ad83523e27 Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Tue, 3 Oct 2023 09:03:09 -0700 Subject: [PATCH] Always build. --- typecheck.sh | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/typecheck.sh b/typecheck.sh index b3360969c849..e8a9c8013add 100755 --- a/typecheck.sh +++ b/typecheck.sh @@ -10,17 +10,16 @@ set -e ## Build Checker Framework -# If variable is set or directory exists, assume the Checker Framework is built. -# Don't re-build because we might use wrong arguments (e.g., downloadjdk). if [ -z "${CHECKERFRAMEWORK}" ] && [ ! -d "../checker-framework/" ] ; then (cd .. && git clone --depth 1 https://github.com/typetools/checker-framework.git) CHECKERFRAMEWORK=$(cd ../checker-framework/ >/dev/null 2>&1 && pwd -P) export CHECKERFRAMEWORK - # This also builds annotation-tools. - # Run assembleForJavac because it does not build the javadoc, so it is faster than assemble. - (cd "${CHECKERFRAMEWORK}" && ./gradlew assembleForJavac --console=plain -Dorg.gradle.internal.http.socketTimeout=60000 -Dorg.gradle.internal.http.connectionTimeout=60000 ) fi +# This also builds annotation-tools. +# Run assembleForJavac because it does not build the javadoc, so it is faster than assemble. +(cd "${CHECKERFRAMEWORK}" && ./gradlew assembleForJavac --console=plain -Dorg.gradle.internal.http.socketTimeout=60000 -Dorg.gradle.internal.http.connectionTimeout=60000 ) + # As of 7/27/2019, there are only annotations for: # * index # * nullness