all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Paul Eggert <eggert@cs.ucla.edu>
To: Eli Zaretskii <eliz@gnu.org>
Cc: stefan@marxist.se, michael.albinus@gmx.de, 37527@debbugs.gnu.org
Subject: bug#37527: [PATCH] Install C source code for for debugging help
Date: Mon, 27 Jan 2020 13:17:22 -0800	[thread overview]
Message-ID: <10abf2d6-c369-8435-d5a4-7c7b516d0758@cs.ucla.edu> (raw)
In-Reply-To: <83v9oynhqk.fsf@gnu.org>

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.





  parent reply	other threads:[~2020-01-27 21:17 UTC|newest]

Thread overview: 55+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-09-26 20:07 bug#37527: [PATCH] Install C source code for for debugging help Paul Eggert
2019-09-27  5:09 ` Eli Zaretskii
2019-09-27  6:24   ` Paul Eggert
2019-09-27  7:21     ` Eli Zaretskii
2019-09-27  8:48       ` Andreas Schwab
2019-09-27  8:58       ` Michael Albinus
2019-09-27 11:36         ` Eli Zaretskii
2019-09-27 19:59           ` Michael Albinus
2019-09-28  5:55             ` Paul Eggert
2019-09-28  7:29               ` Eli Zaretskii
2019-09-28  7:54               ` Michael Albinus
2019-09-29  7:09                 ` Paul Eggert
2019-09-28  6:01             ` Eli Zaretskii
2019-09-28  9:11               ` Michael Albinus
2019-09-28  9:43                 ` Eli Zaretskii
2019-10-03 13:38                   ` Michael Albinus
2019-10-03 16:26                     ` Eli Zaretskii
2019-10-04  8:52                       ` Michael Albinus
2019-10-03 16:54                     ` Basil L. Contovounesios
2019-10-04  8:54                       ` Michael Albinus
2019-10-03 21:50                     ` Paul Eggert
2019-10-03 22:32                       ` Glenn Morris
2019-10-04  1:28                         ` Paul Eggert
2019-10-04  8:57                         ` Michael Albinus
2019-10-04  9:20                       ` Michael Albinus
2019-10-06  7:48                         ` Paul Eggert
2019-10-07 15:17                           ` Michael Albinus
2019-10-07 19:48                             ` Paul Eggert
2019-10-08  7:47                               ` Eli Zaretskii
2019-10-08  9:54                                 ` Michael Albinus
2019-10-08 11:58                                   ` Eli Zaretskii
2020-01-20 19:12                                     ` Stefan Kangas
2020-01-21  9:13                                       ` Paul Eggert
2020-01-21 17:02                                         ` Eli Zaretskii
2020-01-21 17:48                                           ` Paul Eggert
2020-01-21 18:04                                             ` Eli Zaretskii
2020-01-22  0:27                                               ` Paul Eggert
2020-01-22  3:31                                                 ` Eli Zaretskii
2020-01-23  8:58                                                   ` Paul Eggert
2020-01-23 14:23                                                     ` Eli Zaretskii
2020-01-23 17:42                                                       ` Paul Eggert
2020-01-23 18:24                                                         ` Eli Zaretskii
2020-01-25  0:47                                                           ` Paul Eggert
2020-01-25  7:58                                                             ` Eli Zaretskii
2020-01-26  9:00                                                               ` Paul Eggert
2020-01-26 16:13                                                                 ` Eli Zaretskii
2020-01-26 18:18                                                                   ` Paul Eggert
2020-01-26 19:24                                                                     ` Eli Zaretskii
2020-01-26 20:09                                                                       ` Michael Albinus
2020-01-27 21:17                                                                       ` Paul Eggert [this message]
2020-01-28  3:22                                                                         ` Eli Zaretskii
2020-01-26 20:06                                                                     ` Michael Albinus
2020-01-26 20:10                                                                       ` Eli Zaretskii
2019-09-28  5:51       ` Paul Eggert
2019-09-29 13:02 ` Rohan Hendrik Jotz-Lean

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=10abf2d6-c369-8435-d5a4-7c7b516d0758@cs.ucla.edu \
    --to=eggert@cs.ucla.edu \
    --cc=37527@debbugs.gnu.org \
    --cc=eliz@gnu.org \
    --cc=michael.albinus@gmx.de \
    --cc=stefan@marxist.se \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.