Skip to content
Permalink
Browse files

Update get-repos script to handle new projects.

  • Loading branch information
rjust committed Feb 18, 2020
1 parent 3eed19d commit 6ef7443af0ee36311891f9a5f1a2aae926ad3827
Showing with 12 additions and 0 deletions.
  1. +12 −0 project_repos/get_repos.sh
@@ -8,10 +8,21 @@ ARCHIVE=defects4j-repos.zip
clean() {
rm -rf \
closure-compiler.git \
commons-cli.git \
commons-codec.git \
commons-collections.git \
commons-compress.git \
commons-csv.git \
commons-jxpath.git \
commons-lang.git \
commons-math.git \
gson.git \
jackson-core.git \
jackson-databind.git \
jackson-dataformat-xml \
jfreechart \
joda-time.git \
jsoup.git \
mockito.git \
README
}
@@ -49,6 +60,7 @@ else
fi
# Only download repos if the server has a newer file
download_url "https://defects4j.org/downloads/$ARCHIVE"

new=$($cmd)

# Exit if no newer file is available

0 comments on commit 6ef7443

Please sign in to comment.
You can’t perform that action at this time.