From 81418d724abf6555188c623f05cab84611e2c217 Mon Sep 17 00:00:00 2001
From: janost <janost@tuta.io>
Date: Sat, 4 Feb 2017 14:18:54 +0000
Subject: [PATCH] jenkins: Add arm64 deb build

Skip-check: authors

GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3953
---
 jenkins/build-linux.bash | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins/build-linux.bash b/jenkins/build-linux.bash
index a0c4f39d2..3ae17e8d7 100755
--- a/jenkins/build-linux.bash
+++ b/jenkins/build-linux.bash
@@ -47,6 +47,7 @@ go run build.go -goarch amd64 deb
 go run build.go -goarch i386 deb
 go run build.go -goarch armel deb
 go run build.go -goarch armhf deb
+go run build.go -goarch arm64 deb
 
 mv *.deb "$WORKSPACE"