On Sat, Sep 23, 2017 at 07:20:27AM -0400, Christopher Li wrote: > On Fri, Sep 22, 2017 at 5:25 PM, Uwe Kleine-König <uwe@xxxxxxxxxxxxxxxxx> wrote: > > This way I can just use > > > > make install PREFIX=/usr > > > > on the command line to install sparse into the system. > > > > DESTDIR= > > -PREFIX=$(HOME) > > +PREFIX ?= $(HOME) > > 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. Best regards Uwe
Attachment:
signature.asc
Description: PGP signature
