On 08/02/2018 02:07 PM, Jeff Law wrote:
On 08/01/2018 03:19 PM, David Malcolm wrote:On Wed, 2018-08-01 at 15:39 -0400, Aldy Hernandez wrote:This is actually an obvious patch, but I'm not committing it just in case you'd prefer another name for the files.BTW, is it our policy that new gcc C++ source files should have a .cc extension?I believe so. jeff
I did not know that. I'm happy to rename it to .cc. OK with that change ;-)? Aldy
