From 02e0303864a31be4d5642e0f3bc401e48d94263f Mon Sep 17 00:00:00 2001
From: Victor Martinez <VictorMartinezRubio@gmail.com>
Date: Wed, 29 Jul 2020 10:38:15 +0100
Subject: [PATCH] Use the directory flag in the make

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

diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index a0ea388962a6..fd889a5d5e1c 100644
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -156,7 +156,7 @@ def makeTarget(Map args = [:]) {
   node(args.label) {
     withGithubNotify(context: "${context}") {
       withBeatsEnv(archive: true, withModule: withModule, directory: directory) {
-        sh(label: "${command}", script: "${command}")
+        sh(label: "${command}", script: "${command} ${directoryFlag}")
       }
     }
   }