| commit | 4fa5b2a592a4750c19ec841175224da8dfde7ad1 | [log] [tgz] |
|---|---|---|
| author | Chris Kay <chris.kay@arm.com> | Wed Aug 27 10:47:50 2025 +0100 |
| committer | Chris Kay <chris.kay@arm.com> | Wed Aug 27 10:47:50 2025 +0100 |
| tree | 12b9bc56947e381b696aa9a215aa65fac8081e13 | |
| parent | dc196f067638d17637819f6f722b0110950db3a2 [diff] |
ci(coverity): fix Makefile `--jobs` flag An earlier patch introduced `--jobs X`, but Make needs `--jobs=X`, because `X` is optional. Change-Id: I8a0a9350fbcdb372818efedd581769738f1bf3e7 Signed-off-by: Chris Kay <chris.kay@arm.com>