From fd9b31e10352fe66d87693ec802b4323cc02fa9d Mon Sep 17 00:00:00 2001
From: Ethan Roseman <ethteck@gmail.com>
Date: Sun, 5 Apr 2020 12:18:58 -0400
Subject: [PATCH] setup too

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 89bcefac7b..f07d196083 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
                 sh 'git submodule update --init --recursive'
                 sh 'cp -r /usr/local/etc/ido/ido7.1_compiler tools/ido7.1_compiler'
                 sh 'chmod +x -R tools/ido*'
-                sh 'make setup'
+                sh 'make -j`nproc` setup'
             }
         }
         stage('Build') {