Re: [PATCH] Resurrect gdb-add-index as a contrib script

[Tom Tromey <tromey@redhat.com>]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

>> It also occurs to me that people might want to use fragments of this
>> in their build systems, so it might be better to use the simple
>> permissive license from
>> <http://www.gnu.org/prep/maintain/maintain.html#License-Notices-for-Other-Files>;
>> would that be okay?

Jan> I do not see a reason to make such exception although it is Tom's
Jan> script so it is more up to him.  I find such a possible request can
Jan> be considered if it ever appears.

It's fine by me.

Jan> On Mon, 04 Nov 2013 20:33:20 +0100, Samuel Bronson wrote:
>> Oops. My last email was supposed to say something about "gdb-add-index
>> foo" not working when foo had no / in it. This is the problem which
>> the "this" in the next part was meant to refer to.

Jan> I did not find too clear from the archives why Tom has removed the script.
Jan> I found only
Jan> 	Re: [patch] gdb-add-index tweaks
Jan> 	https://sourceware.org/ml/gdb-patches/2010-09/msg00133.html

There's a thread in an earlier month.
Doug had objections to it that I could not address in a timely way.
I don't recall if contrib existed at the time; I agree this is an ok
solution.

Tom