[PATCH]PR other/70268: map one directory name (old) to another (new) in __FILE__

[Hongxu Jia]

On 03/18/2016 06:43 AM, Joseph Myers wrote:
> On Thu, 17 Mar 2016, Hongxu Jia wrote:
>
>> +      if (add_file_prefix_map(arg) < 0)

+      if (add_file_prefix_map (arg) < 0)


I will correct them in V3.

> Bad formatting (missing space before '(').  Likewise elsewhere in this
> patch.
>
>> +@item -ffile-prefix-map=@var{old}=@var{new}
>> +@opindex ffile-prefix-map
>> +When parsing __FILE__, __BASE_FILE__ and __builtin_FILE(), use directory
>> +@file{@var{new}} to replace @file{@var{old}}.
> Missing use of @code{} around literal source code text.

+When parsing @code{__FILE__}, @code{__BASE_FILE__} and 
@code{__builtin_FILE()}, use directory

Thanks for pointing it out. V3 incoming

//Hongxu

>