Re: [PATCH] Makefile: enable -Wsparse-error for DEVELOPER build
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Nov 3, 2020, 02:50 UTC
- Message-ID
- <xmqqtuu7rw5b.fsf@gitster.c.googlers.com>
- In-Reply-To
- <43aadae9-a4c1-f1e4-6902-c05af36fcf19@ramsayjones.plus.com>
Ramsay Jones <ramsay@ramsayjones.plus.com> 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.