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

[Kiyoshi KANAZAWA]

Hello,

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.


--- Kiyoshi