[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Jacob Bachmeyer
Subject: bug#48155: [dejagnu-1.6.3-rc4] make check depends on SHELL
Date: Tue, 04 May 2021 20:25:40 -0500
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20090807 MultiZilla/ SeaMonkey/1.1.17 Mnenhy/

Kiyoshi KANAZAWA wrote:
I remember once received a similar bug report from a csh user about another GNU 
At that time, it was possible to avoid error with either
./configure SHELL=/bin/sh
./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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]