> 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/,,')
