|
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:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |