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

[Jacob Bachmeyer]

Kiyoshi KANAZAWA wrote:
> Hello,
>
> When $SHELL=/bin/csh & CONFIG_SHELL is not set,
> $ head -4 runtest.log
> Test run by foo on Wed May  5 11:54:07 2021
> Native configuration is timestamp=2021-01-25: Command not found
> Variable syntax
>
>   

I see the problem:  the pattern for a triplet is too permissive and will 
incorrectly accept the error message.

> If $SHELL=/bin/csh & $CONFIG_SHELL=/bin/sh,
> $ head -4 runtest.log
> Test run by foo on Wed May  5 11:57:34 2021
> Native configuration is i386-pc-solaris2.11
>
>                 === runtest tests ===
>   

With CONFIG_SHELL=/bin/sh, does the testsuite complete successfully?


-- Jacob