> > 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
