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? Or should we leave this known limitation? Martin
