Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/ci/provisioning/freebsd.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/ci/provisioning/freebsd.sh b/scripts/ci/provisioning/freebsd.sh
index 7b8aba9d460..f8a9fdb1a45 100755
--- a/scripts/ci/provisioning/freebsd.sh
+++ b/scripts/ci/provisioning/freebsd.sh
@@ -86,3 +86,6 @@ if ! command -v python3 ; then
fi
## Do not remove, instead rename; otherwise it's impossible to support ports infrastructure testing
mv /usr/bin/make /usr/bin/bsdmake && ln -s /usr/local/bin/gmake /usr/bin/make
+
+# force internal IP of Jenkins master
+echo "10.0.0.4 jenkins.mono-project.com" >> /etc/hosts