Re: Specifying which shell to use

[Ralf Wildenhues]

Hello Dan,

please don't top-post, thank you.

* Dan Smithers wrote on Mon, Oct 12, 2009 at 03:32:01PM CEST:
> When I use CC=gcc and CXX=g++ the configure works and produces a working
> Makefile.
> 
> If I set CC=icc and CXX=icpc then the configure fails as shown below.

> On my Ubuntu system /bin/sh is a link to /bin/dash
> 
> If I change the first line to
> #! /bin/bash
> then the build works using either gcc or icc.

How old is this system?  Which version is the (d)ash on this system?

> If I run configure on a Redhat 7.3 machine then it works correctly (but
> /bin/sh is a link to /bin/bash).

Redhat 7.3 is quite old, which makes me suspicious of the above.

> The problem comes before I get to my code in the autotools bit.

The problem looks like a segfault in either dash, or the program
generated by your compiler.

Cheers,
Ralf