On 16 March 2012 12:24, Andreas Färber <andreas.faer...@web.de> wrote: > Am 16.03.2012 13:15, schrieb Peter Maydell: >> This shouldn't be necessary -- tracetool has a #!/bin/sh at the top. >> If it needs bash then that should be fixed. > > No, please. I'd be okay with setting shell="bash" in a reasonably > limited environment (say, Solaris 11) but not with requiring bash for > all platforms.
I meant, we should fix tracetool so that it really is a POSIX conformant shell script, since that's what it claims to require. > The issue here is really just getting a fully POSIX-conformant shell. > And the way I expect this to work is by executing configure and make in > such a shell and by not having hardcoded /bin/sh creep in through some > shebang line. The way I expect this to work is that /bin/sh should be a posix shell... -- PMM