On Tue, Jan 7, 2014 at 11:02 AM, Paul Eggert <[email protected]> wrote: > On 01/07/2014 10:53 AM, Jim Meyering wrote: >> the sourced init.sh code works around it... >> usually. > > Usually, but not here. I fixed the problem this way; > tested on Solaris 10. > > >From e965a293cf7816ee1deb6d2a1c6fe3690b2a37c1 Mon Sep 17 00:00:00 2001 > From: Paul Eggert <[email protected]> > Date: Tue, 7 Jan 2014 10:59:07 -0800 > Subject: [PATCH] Port to Solaris 10 /bin/sh. > > Problem reported by Dagobert Michelsen in <http://bugs.gnu.org/16380>. > * tests/bre, tests/ere, tests/spencer1-locale: > Prefer re_shell_ to SHELL, if re_shell_ is set. > * tests/init.sh (re_shell_): Export if it's used.
Your patch looks fine. Thanks. Please be sure to propagate your init.sh change back to the master version in gnulib/tests. Otherwise, the next time we sync from there, we may accidentally revert that part of the fix.
