From ee63870187a32caebb3cc350a0bcadd9a1fb852c Mon Sep 17 00:00:00 2001
From: Pieter-Jan Briers <pieterjan.briers+git@gmail.com>
Date: Mon, 27 Apr 2020 12:06:18 +0200
Subject: [PATCH] Hey dum dum update the Jenkinsfile.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ca927d5a78..5fc5bacb9e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
         }
         stage('Build') {
             steps {
-                sh 'Tools/package_release_build.py -p windows mac linux'
+                sh 'Tools/package_release_build.py -p windows mac linux linux-arm64'
             }
         }
         stage('Update build info') {