Added missing $MAKE_TARGET

Forgot to add in previous commit...
Nislaco · Jul 23, 2017 · 0d5beb0 · 0d5beb0
1 parent 9c3b471
commit 0d5beb0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
                 '''
               }
           }