From 9a9ef3c59dcdd9a973ff5d9e47b848828bc813b7 Mon Sep 17 00:00:00 2001
From: Stephan Schroevers <stephan.schroevers@teampicnic.com>
Date: Fri, 6 Jan 2023 10:38:54 +0100
Subject: [PATCH] Have `apply-error-prone-suggestions.sh` download
 JitPack-hosted artifacts (#441)

While there, tweak the usage message of both `apply-error-prone-suggestions.sh`
and `run-mutation-tests.sh`.
---
 apply-error-prone-suggestions.sh | 3 ++-
 run-mutation-tests.sh            | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/apply-error-prone-suggestions.sh b/apply-error-prone-suggestions.sh
index da403679..6ca82fc2 100755
--- a/apply-error-prone-suggestions.sh
+++ b/apply-error-prone-suggestions.sh
@@ -9,13 +9,14 @@
 set -e -u -o pipefail
 
 if [ "${#}" -gt 1 ]; then
-  echo "Usage: ./$(basename "${0}") [PatchChecks]"
+  echo "Usage: ${0} [PatchChecks]"
   exit 1
 fi
 
 patchChecks=${1:-}
 
 mvn clean test-compile fmt:format \
+  -s "$(dirname "${0}")/settings.xml" \
   -T 1.0C \
   -Perror-prone \
   -Perror-prone-fork \
diff --git a/run-mutation-tests.sh b/run-mutation-tests.sh
index 66826c14..5e9bc289 100755
--- a/run-mutation-tests.sh
+++ b/run-mutation-tests.sh
@@ -7,7 +7,7 @@
 set -e -u -o pipefail
 
 if [ "${#}" -gt 1 ]; then
-  echo "Usage: ./$(basename "${0}") [TargetTests]"
+  echo "Usage: ${0} [TargetTests]"
   exit 1
 fi