On Tue, Aug 27, 2019 at 08:36:40PM +0200, SZEDER Gábor wrote:
> Try using the same build flags for the install, i.e.:
> 
>   make prefix=/usr/local DEVELOPER=1 CFLAGS="-O0 -g" install

Yes, now it works thanks!

On Tue, Aug 27, 2019 at 08:34:23PM +0200, Johannes Sixt wrote:
> That is because the command sequence above does not do what you think it
> does. Didn't you notice that everything was recompiled during `sudo make
> install`?

Shouldn't be this documented somewhere?

To my knowledge `make install` is expected to copy artifacts of the
build under prefix. It's unusual to me that `install` has the `all`
target as prerequisite.

Reply via email to