diff --git a/.github/workflows/analysis_ports.yml b/.github/workflows/analysis_ports.yml index f5f3d8baf..f89dc13cb 100644 --- a/.github/workflows/analysis_ports.yml +++ b/.github/workflows/analysis_ports.yml @@ -293,17 +293,17 @@ jobs: ./configure SHELL=/usr/bin/bash CONFIG_SHELL=/usr/bin/bash --prefix="$prepath/expat" --exec-prefix="$prepath/expat" --bindir="$prepath/expat/bin" --includedir="$prepath/expat/include" --mandir="$prepath/expat/man" --libdir="$prepath/expat/lib" # fixup shell from space in pathname mv Makefile Makefile.orig - sed -e 's?^SHELL=.*$?SHELL=/usr/bin/sh?' < Makefile.orig > Makefile + sed -e 's?^SHELL =.*$?SHELL=/usr/bin/sh?' < Makefile.orig > Makefile mv lib/Makefile lib/Makefile.orig - sed -e 's?^SHELL=.*$?SHELL=/usr/bin/sh?' < lib/Makefile.orig > lib/Makefile + sed -e 's?^SHELL =.*$?SHELL=/usr/bin/sh?' < lib/Makefile.orig > lib/Makefile mv doc/Makefile doc/Makefile.orig - sed -e 's?^SHELL=.*$?SHELL=/usr/bin/sh?' < doc/Makefile.orig > doc/Makefile + sed -e 's?^SHELL =.*$?SHELL=/usr/bin/sh?' < doc/Makefile.orig > doc/Makefile mv examples/Makefile examples/Makefile.orig - sed -e 's?^SHELL=.*$?SHELL=/usr/bin/sh?' < examples/Makefile.orig > examples/Makefile + sed -e 's?^SHELL =.*$?SHELL=/usr/bin/sh?' < examples/Makefile.orig > examples/Makefile mv tests/Makefile tests/Makefile.orig - sed -e 's?^SHELL=.*$?SHELL=/usr/bin/sh?' < tests/Makefile.orig > tests/Makefile + sed -e 's?^SHELL =.*$?SHELL=/usr/bin/sh?' < tests/Makefile.orig > tests/Makefile mv xmlwf/Makefile xmlwf/Makefile.orig - sed -e 's?^SHELL=.*$?SHELL=/usr/bin/sh?' < xmlwf/Makefile.orig > xmlwf/Makefile + sed -e 's?^SHELL =.*$?SHELL=/usr/bin/sh?' < xmlwf/Makefile.orig > xmlwf/Makefile echo "make" make echo "make install"