From 0d5beb0e8154754084c5830ffa6988a32464e9c0 Mon Sep 17 00:00:00 2001
From: Peter Feerick <peter.feerick@gmail.com>
Date: Sun, 23 Jul 2017 15:25:30 +1000
Subject: [PATCH] Added missing $MAKE_TARGET Forgot to add in previous
 commit...

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 88c0fef..43b4f78 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -68,7 +68,7 @@ node('docker && linux-build') {
                 sh '''#!/bin/bash
                   set +xe
                   export CCACHE_DIR=$WORKSPACE/ccache
-                  make -j$(nproc)
+                  make -j$(nproc) $MAKE_TARGET
                 '''
               }
           }