commit | 9f4ef7783c942ec7adc575550fe12f4520a77959 | [log] [tgz] |
---|---|---|
author | Chris Kay <chris.kay@arm.com> | Thu Aug 28 15:24:25 2025 +0100 |
committer | Chris Kay <chris.kay@arm.com> | Thu Aug 28 14:26:05 2025 +0000 |
tree | ef3cee34f80dc2903e480106c528fa7a3d93b61b | |
parent | 9ecda725113c425f43ed6f6455cba37478b80bbd [diff] |
ci(coverity): fix badly-parsed `--jobs` argument Because there's no longer whitespace between `--jobs` and its sanitised value, the shell interprets the quotes as part of the argument. Instead, just use `-j`. Change-Id: I1d0d5f4a5993f333ffb96aab48189615305e66b5 Signed-off-by: Chris Kay <chris.kay@arm.com>