Use git-scripts

eisop-plume-lib · Jun 25, 2024 · 013db8b · 013db8b
1 parent 6c99581
commit 013db8b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)