On 06/11/12 16:53, Eitan Adler wrote:
Perhaps you should get a better version of env?

Perhaps I should! I'm running Ubuntu 12.10, so I'm surprised about that. But even if I did there would be many others with the same issue.

The followup to this discussion indicates that /bin/sh seems to be
sufficient (I need to check this myself when I get a chance).
checkbashims sees nothing wrong.

Ok, well, I couldn't identify the exact problem either, so this seemed like the easiest fix, and anyway bashisms are nice, if they're allowed.

Feel free to propose an alternative patch. :)


ccache mailing list

Reply via email to