From 48822a1a2f042e402b0e5452b9a050fd236de27c Mon Sep 17 00:00:00 2001 From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com> Date: Thu, 27 Jun 2024 15:38:52 -0400 Subject: [PATCH] Use git-script --- .ci-build-without-test.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.ci-build-without-test.sh b/.ci-build-without-test.sh index c0770f4..465edf2 100755 --- a/.ci-build-without-test.sh +++ b/.ci-build-without-test.sh @@ -12,17 +12,17 @@ else export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(readlink -f $(which javac))))} fi -if [ -d "/tmp/plume-scripts" ] ; then - git -C /tmp/plume-scripts pull -q +if [ -d "/tmp/git-scripts" ] ; then + git -C /tmp/git-scripts pull -q else - git -C /tmp clone --depth 1 -q https://github.com/eisop-plume-lib/plume-scripts.git + git -C /tmp clone --depth 1 -q https://github.com/eisop-plume-lib/git-scripts.git fi export CFI="${CFI:-$(pwd -P)/../checker-framework-inference}" ## Build Checker Framework Inference (which also clones & builds dependencies) -/tmp/plume-scripts/git-clone-related opprop checker-framework-inference ${CFI} +/tmp/git-scripts/git-clone-related opprop checker-framework-inference ${CFI} (cd $CFI && ./.ci-build-without-test.sh) ./gradlew assemble