diff --git a/Jenkinsfile b/Jenkinsfile index faa665771c71e3cb7d2d13b4588441e5612716a8..e0cb3185a357fe02bf0958444c099908dcfef8a6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,7 +35,7 @@ def getStages(rosDistribution, ubuntuVersion) { } docker.build("franka_ros-ci-worker:${rosDistribution}", - "-f src/franka_ros/.ci/Dockerfile.${rosDistribution} src/franka_ros/.ci").inside { + "-f src/franka_ros/.ci/Dockerfile.${rosDistribution} src/franka_ros/.ci").inside('-e MAKEFLAGS') { withEnv(["CMAKE_PREFIX_PATH+=${env.WORKSPACE}/dist/libfranka/lib/cmake/Franka", "ROS_HOME=${env.WORKSPACE}/ros-home"]) { stage("${rosDistribution}: Build & Lint (Debug)") {