On 6/6/07, Manuel Dejonghe wrote:
I could try to link sh to bash instead of dash, but I'm afraid there is no difference. And then, I can't check it on my own.
Without knowing anything about the scripts in the build farm, I would suggest you at least try this out. The echo command in dash and bash differs, which could break some scripts (the manual makefile for instance). Martin
