bug#48155: [dejagnu-1.6.3-rc4] make check depends on SHELL

[Jacob Bachmeyer]

Kiyoshi KANAZAWA wrote:
> I remember once received a similar bug report from a csh user about another GNU 
> software.
> At that time, it was possible to avoid error with either
> ./configure SHELL=/bin/sh
>  or
> ./configure CONFIG_SHELL=/bin/sh
>
> Tried above using csh as user shell, but in vain.
> May be the difference is whether SHELL and CONFIG_SHELL are exported when 
> specified as configure command line argument.

DejaGnu cannot rely on anything from configure because DejaGnu is 
installed in /usr/share and one installation is allowed to be shared 
across multiple machines.  SHELL and/or CONFIG_SHELL must be set in the 
environment when running DejaGnu to have any effect.

There should be an error if $SHELL is an unusable shell and CONFIG_SHELL 
is not set; no summary should have been produced.  What was the 
configuration DejaGnu reported in that case?  There should be a line 
beginning "Native configuration is" and something; could you please 
paste that line?  It should be included in the first few lines of 
runtest.log; could you run "head -4 runtest.log" after the test fails 
and paste the output?


-- Jacob