Ramsay Jones <ramsay@xxxxxxxxxxxxxxxxxxxx> writes: > How are you installing sparse? (I am using Linux Mint 20, based on > Ubuntu 20.04, whose sparse package version is 0.6.1-2build1 - which > is to say too old; you require version 0.6.2 or greater. Building > from source, I am currently using v0.6.3-76-gf680124b). Built and installed in ~/$arch/gitstuff/bin which is on my $PATH [remote "origin"] url = git://git.kernel.org/pub/scm/devel/sparse/sparse.git > My concern was more about how the CI system obtains/installs/builds a > sufficiently new version of sparse. Otherwise, 'make sparse' won't do > very much. ;-) As I said, I don't know what's involved in getting > that to work. Ah, yes, it would be a disaster to trigger false positive by using old version like 0.6.1, so we may end up having to bring our own version in, which is more work X-<. Thanks.