GNU bug report logs - #37527
[PATCH] Install C source code for for debugging help

Previous Next

Full log

Message #163 received at 37527 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Michael Albinus <michael.albinus <at> gmx.de>
Cc: rgm <at> gnu.org, eggert <at> cs.ucla.edu, stefan <at> marxist.se, 37527 <at> debbugs.gnu.org
Subject: Re: bug#37527: [PATCH] Install C source code for for debugging help
Date: Sun, 26 Jan 2020 22:10:03 +0200

> From: Michael Albinus <michael.albinus <at> gmx.de>
> Cc: Eli Zaretskii <eliz <at> gnu.org>,  stefan <at> marxist.se,  rgm <at> gnu.org,
>   37527 <at> debbugs.gnu.org
> Date: Sun, 26 Jan 2020 21:06:45 +0100
> 
> Paul Eggert <eggert <at> cs.ucla.edu> writes:
> 
> > Distributors will follow our lead if we install the source in a
> > well-specified place.
> 
> Have you asked them?

AFAIU, distributors already have their solution for this -- they
package the sources with the debug info distribution.  Andreas
mentioned that in the discussion we had back then, but his suggestion
was ignored, which I think is a mistake.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.