> Le 27 janv. 2019 à 06:13, Kiyoshi KANAZAWA <[email protected]> a > écrit : > > User environment SHELL seems to be directly passed to examples in make check. > > % echo $SHELL > /usr/bin/csh Good catch, thanks! I'll install this into maint. commit 83ebc8bdb66a45b0a82d1b7ae7024cf69c53df4c Author: Kiyoshi Kanazawa <[email protected]> Date: Sun Jan 27 06:58:17 2019 +0100 tests: don't depend on the user's definition of SHELL http://lists.gnu.org/archive/html/bug-bison/2019-01/msg00031.html * examples/test (SHELL): Set it to /bin/sh. diff --git a/examples/test b/examples/test index 5e643c1f..d987d094 100755 --- a/examples/test +++ b/examples/test @@ -15,6 +15,9 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. +SHELL=/bin/sh +export SHELL + me=$(basename "$1" .test) medir=$(dirname "$1" | sed -e 's,.*examples/,,')
