On 28/10/12 16:09, Wouter Verhelst wrote:
On Sun, Oct 28, 2012 at 08:03:25AM +0000, Philip Ashmore wrote:
Having the sources installed in /usr/src and referenced there rather
than /buildd would be an improvement too.
That's why there is the 'substitute-path' feature in gdb to fix that. Also see
http://grep.be/blog/en/computer/code/gdb_substitute_path
While this feature allows gdb to know the correct source locations,
using it implies that packages requiring the feature contain incorrect
source paths - wouldn't it be better for these packages to contain
correct source paths in the first place?
Regards,
Philip
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/508dd2c3.9090...@philipashmore.com