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

[Kiyoshi KANAZAWA]

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

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 ===

Regards,

--- Kiyoshi