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

[Hongxu Jia]

Ping, is that OK? Any suggestions?

//Hongxu

On 03/18/2016 01:16 PM, Hongxu Jia wrote:
> Changed in V3:
>
> - Rebase to latest master (efc86c4c627b82364f118a29b5d9d58cad8b8c76)
>
> - Fix bad formatting (missing space before '(').
>
> - Use of @code{} around literal source code text.
>
> //Hongxu
>