On January 21, 2020 4:37:00 PM GMT+01:00, Jan Hubicka <hubi...@ucw.cz> wrote: >> 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.
Can't w just quote them somehow? Richard. > >Honza >> >> Martin
