>
> Also, you might consider just using cgcc to run both GCC and Sparse. That
> would handle the issue of target-specific CFLAGS, by ensuring that Sparse and
> GCC always see the same CFLAGS.
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.
Sam
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
