Use newer version of Major.

rjust · Sep 10, 2024 · 44fd72a · 44fd72a
1 parent ea4e822
commit 44fd72a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/init.sh b/init.sh
@@ -144,7 +144,7 @@ cd "$DIR_REPOS" && ./get_repos.sh
 #
 echo
 echo "Setting up Major ... "
-MAJOR_VERSION="3.0.0"
+MAJOR_VERSION="3.0.1"
 MAJOR_URL="https://mutation-testing.org/downloads"
 MAJOR_ZIP="major-${MAJOR_VERSION}_jre11.zip"
 cd "$BASE" && rm -rf major \