Re: [PATCH 11/13] introduce relative_filename and use it

Tom Tromey
2013-10-17T18:59:41Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> On 08/23/2013 09:36 PM, Tom Tromey wrote:
>> +# ROOT and FULL are file names. Returns the relative path from ROOT
>> +# to FULL. Note that FULL must be in a subdirectory of ROOT.

Pedro> Would it be a good idea to "error" out on mistakes here?

Good idea, I added this.

Tom