Analysis workflow, set MAKESHELL.

diff --git a/.github/workflows/analysis_ports.yml b/.github/workflows/analysis_ports.yml
index a323440895acdaac5e8f6556146d81121344b2a4..68e09ffef5f12c2d3e34fad21f9c28a117233f98 100644 (file)
--- a/.github/workflows/analysis_ports.yml
+++ b/.github/workflows/analysis_ports.yml
@@ -304,6 +304,7 @@ jobs:
           sed -e 's?^SHELL =.*$??' < tests/Makefile.orig > tests/Makefile
           mv xmlwf/Makefile xmlwf/Makefile.orig
           sed -e 's?^SHELL =.*$??' < xmlwf/Makefile.orig > xmlwf/Makefile
+          export MAKESHELL="/bin/sh"
           echo "make"
           make
           echo "make install"