Sam Ravnborg wrote:
quoted text
>> Also, you might consider just using cgcc to run both GCC and Sparse.  =
That
quoted text
>> would handle the issue of target-specific CFLAGS, by ensuring that Spa=
rse and
quoted text
>> GCC always see the same CFLAGS.
>=20
> Is this the recommended way?
> I that case I suggest that someone looks into the linux kernel part
> and change it to use this method.

The approach taken by Linux allows running sparse on files without recomp=
iling
them.  Using CC=3Dcgcc just makes for less work, but the kernel has that =
work
done now.

- Josh Triplett