From 013db8bd9a47ce99bc834e5f77454481eb3a094e Mon Sep 17 00:00:00 2001 From: Werner Dietl Date: Mon, 24 Jun 2024 22:05:39 -0400 Subject: [PATCH] Use git-scripts --- .setup-CF.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.setup-CF.sh b/.setup-CF.sh index 74aea4e..a9b3ae4 100755 --- a/.setup-CF.sh +++ b/.setup-CF.sh @@ -9,12 +9,12 @@ export SHELLOPTS export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(readlink -f $(which javac))))} -git -C /tmp clone --depth 1 -q https://github.com/plume-lib/plume-scripts.git +git -C /tmp clone --depth 1 -q https://github.com/eisop-plume-lib/git-scripts.git export CHECKERFRAMEWORK="${CHECKERFRAMEWORK:-$(pwd -P)/../checker-framework}" ## Build Checker Framework -/tmp/plume-scripts/git-clone-related eisop checker-framework ${CHECKERFRAMEWORK} +/tmp/git-scripts/git-clone-related eisop checker-framework ${CHECKERFRAMEWORK} (cd $CHECKERFRAMEWORK && ./gradlew assembleForJavac)