Am 27.08.19 um 18:27 schrieb Giuseppe Crino':
> Hello, to debug some issues I built and installed git via
> 
> $ make prefix=/usr/local DEVELOPER=1 CFLAGS="-O0 -g"
> $ sudo make install
> $ git --version # git version 2.23.0.40.g4d8aada92f 
> 
> But it seems there's still some optimization going on that prevents gdb from 
> working correctly.

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`?

You must run

  sudo make prefix=/usr/local DEVELOPER=1 CFLAGS="-O0 -g" install

-- Hannes

Reply via email to