diff --git a/.jenkins_linux_builds b/.jenkins_linux_builds index 8561ea99..4d257950 100644 --- a/.jenkins_linux_builds +++ b/.jenkins_linux_builds @@ -68,7 +68,7 @@ pipeline { agent { dockerfile { filename 'mingw64' - args '--build-arg NUM_JOBS=8' + additionalBuildArgs '--build-arg NUM_JOBS=8' dir 'docker/64_bit' } }