From 13504a75815a527c75dd423b42c0cb8b42b23324 Mon Sep 17 00:00:00 2001 From: Jack Lloyd Date: Wed, 27 Mar 2024 17:40:00 -0400 Subject: [PATCH] Don't stop the ninja build if errors occur This mirrors the behavior used for make --- src/scripts/ci_build.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index e9858bb28b4..52a6018d03b 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -566,7 +566,8 @@ def validate_make_tool(make_tool, build_jobs): if make_tool in ['make']: return make_tool, ['-j%d' % (build_jobs), '-k'] - + elif make_tool in ['ninja']: + return make_tool, ['-k', '0'] else: return make_tool, []