> On 1/21/20 4:08 PM, Jan Hubicka wrote: > > I think this is not enough - you need to take into consideration all > > special characters used by make and bash, such as $ and others... > > Hm, you are right. Do you have a reasonable list which we should support? No - I guess one needs to dig into manual, try them out or just assume that all letters in filenams except for a-z, 0-9, _, -, ., ',' and perhaps more common caracters needs to be taken out? It is used only to make more meaningful temp filenames, right? > Or should we leave this known limitation? I would say we want to fix that... Even GCC gets idea to put # info filenames and I am sure except for HHVM there are others.
Honza > > Martin
