From 1469f828accdc9ed38fb61986faede3059746d61 Mon Sep 17 00:00:00 2001 From: Ethan Roseman Date: Sun, 5 Apr 2020 12:12:25 -0400 Subject: [PATCH] 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`' } } }