From 0cfbceb4282e0b46234bce7bb085a9acebe25e82 Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@nym.se>
Date: Mon, 21 Dec 2015 12:04:47 +0100
Subject: [PATCH] Add other build servers

---
 dev/infrastructure.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/dev/infrastructure.rst b/dev/infrastructure.rst
index 8b0502d19..c56f4b3a1 100644
--- a/dev/infrastructure.rst
+++ b/dev/infrastructure.rst
@@ -64,6 +64,14 @@ Runs Jenkins and does the core and Android builds, Ubuntu Linux.
 - build2.syncthing.net (build runner, SmartOS container, 8192 MB)
 - `android.syncthing.net <http://android.syncthing.net/>`__ (Ubuntu Linux, 3072 MB)
 
+Build Servers, Other
+--------------------
+
+Runs a Jenkins slave and builds release builds for their respective OS.
+
+- native-windows-amd64 (Windows 2012 R2, Amazon EC2 t2.micro)
+- native-darwin-amd64 (Mac OS X 10.8.5, MacBookPro5,1)
+
 APT Server
 ----------