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

Previous Next

Full log

View this message in rfc822 format

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: michael.albinus <at> gmx.de, stefan <at> marxist.se, 37527 <at> debbugs.gnu.org, rgm <at> gnu.org
Subject: bug#37527: [PATCH] Install C source code for for debugging help
Date: Mon, 27 Jan 2020 13:17:22 -0800

On 1/26/20 11:24 AM, Eli Zaretskii wrote:
> Please make this opt-in.

If that's the case, let's revert the patch. Later we could try something 
fancier along the lines Andreas suggested, perhaps involving using 
distributors' already-existing locations since that's more likely to 
work (albeit not that likely, alas) than a build-time opt-in which is 
pretty much a recipe for failure.

Previous Next

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