aboutsummaryrefslogtreecommitdiffstats
path: root/src/scripts/ci_build.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/scripts/ci_build.py')
-rwxr-xr-xsrc/scripts/ci_build.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py
index 3ba97a68c..ca339db65 100755
--- a/src/scripts/ci_build.py
+++ b/src/scripts/ci_build.py
@@ -380,6 +380,7 @@ def main(args=None):
make_cmd += ['-C', root_dir]
if options.build_jobs > 1:
make_cmd += ['-j%d' % (options.build_jobs)]
+ make_cmd += ['-k']
if target == 'docs':
cmds.append(make_cmd + ['docs'])