From 45675e01d5011668e31acfd56fc652b802aebc2b Mon Sep 17 00:00:00 2001 From: rjust Date: Thu, 30 Nov 2023 17:17:15 -0800 Subject: [PATCH] Update gradle urls to v3. --- init.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/init.sh b/init.sh index 8f184d106..515a9ab28 100755 --- a/init.sh +++ b/init.sh @@ -188,8 +188,8 @@ echo "Setting up Gradle dependencies ... " cd "$DIR_LIB_GRADLE" -GRADLE_DISTS_ZIP=defects4j-gradle-dists.zip -GRADLE_DEPS_ZIP=defects4j-gradle-deps.zip +GRADLE_DISTS_ZIP=defects4j-gradle-dists-v3.zip +GRADLE_DEPS_ZIP=defects4j-gradle-deps-v3.zip old_dists_ts=0 old_deps_ts=0