From 1469f828accdc9ed38fb61986faede3059746d61 Mon Sep 17 00:00:00 2001
From: Ethan Roseman <ethteck@gmail.com>
Date: Sun, 5 Apr 2020 12:12:25 -0400
Subject: [PATCH 1/2] Testing faster jenkins build

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

diff --git a/Jenkinsfile b/Jenkinsfile
index b7845d0b77..89bcefac7b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@ pipeline {
         stage('Build') {
             steps {
                 echo 'Building...'
-                sh 'make'
+                sh 'make -j`nproc`'
             }
         }
     }

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 2/2] 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') {