Quoth Andrew Pinski: > Please https://gcc.gnu.org/contribute.html for some more information > on the all of the requirements when it comes to submitting a patch.
Thanks for the pointers. Testing the change against the trunk, I find that the problem no longer exists, because printf is used instead of echo when the shell is other than bash and zsh. Is it worth making the change anyway? If so, I'll prepare a submission meeting the requirements. -- Steven Taschuk http://www.amotlpaa.org/ "Our analysis begins with two outrageous benchmarks." -- "Implementation strategies for continuations", Clinger et al.
