On Sat, Sep 23, 2017 at 2:31 PM, Uwe Kleine-König <uwe@xxxxxxxxxxxxxxxxx> wrote: >> Are you sure you need this patch to use "make install PREFIX=/usr" ? > > Oh, you're right. I pass PREFIX via the environment. But as there are > already other things I pass on the command line I can also pass PREFIX > there. I still consider ?= as the right thing to do there, but it's not > important any more. If you still consider the patch fine, I can update > the commit log accordingly. Sorry for the delay. I am catching up with the patches. I don't mind having the patch if you want to pass PREFIX from the environment. Please update the comments. Thanks Chris -- 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
