[Bug c/42579] [PATCH] support for obtaining file basename

[asierllano at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42579

--- Comment #6 from Asier Llano <asierllano at gmail dot com> 2012-08-31 08:03:58 UTC ---
We tried it in 4.7 and it works perfectly. By now we will have to apply this
patch for our development with 4.7.1.