commit 0b621da86aa5b4e63e2cf7104f1ea7e24050747c
author Philipp Wollermann <philwo@google.com> Fri Jan 05 01:14:03 2018 +0100
committer Philipp Wollermann <philwo@google.com> Fri Jan 05 10:53:41 2018 +0100
tree 74d6b793387e8a7086c6b4315ef078c9e6309e3e
parent 6523eadce9efac6c83094ed04bb9e990e012c8c2

Really remove FreeBSD from our CI setup

jenkins/BUILD

diff --git a/jenkins/BUILD b/jenkins/BUILD
index 6f06152..a3bf853 100644
--- a/jenkins/BUILD
+++ b/jenkins/BUILD
@@ -43,14 +43,6 @@
 
 UBUNTU_DOCKER_COUNT = 4
 
-FREEBSD_11_PREFIX = "freebsd-11"
-
-FREEBSD_11_COUNT = 4
-
-FREEBSD_12_PREFIX = "freebsd-12"
-
-FREEBSD_12_COUNT = 4
-
 # Physical machines
 jenkins_nodes(
     DARWIN_PREFIX,
@@ -87,18 +79,6 @@
     labels = ["no-release"],
 )
 
-jenkins_nodes(
-    FREEBSD_11_PREFIX,
-    FREEBSD_11_COUNT,
-    labels = ["no-release"],
-)
-
-jenkins_nodes(
-    FREEBSD_12_PREFIX,
-    FREEBSD_12_COUNT,
-    labels = ["no-release"],
-)
-
 #
 # A deploy slave used for release work and syncing
 # our repositories.
@@ -267,9 +247,7 @@
               jenkins_node_names(WINDOWS_PREFIX, WINDOWS_COUNT) +
               jenkins_node_names(UBUNTU_DOCKER_PREFIX, UBUNTU_DOCKER_COUNT) +
               jenkins_node_names(UBUNTU_1404_PREFIX, UBUNTU_1404_COUNT) +
-              jenkins_node_names(UBUNTU_1604_PREFIX, UBUNTU_1604_COUNT) +
-              jenkins_node_names(FREEBSD_11_PREFIX, FREEBSD_11_COUNT) +
-              jenkins_node_names(FREEBSD_12_PREFIX, FREEBSD_12_COUNT),
+              jenkins_node_names(UBUNTU_1604_PREFIX, UBUNTU_1604_COUNT),
     jobs = [
         "//jenkins/jobs",
         ":maintenance/gerrit-verifier",
@@ -287,8 +265,6 @@
         ":config_xml",
         ":darwin-x86_64-staging",
         ":deploy-staging",
-        ":freebsd-11-staging",
-        ":freebsd-12-staging",
         ":jenkins-common-configs",
         ":ubuntu_14.04-x86_64-staging",
         ":ubuntu_16.04-x86_64-docker-staging",