From: W.C.A. Wijngaards Date: Thu, 24 Jun 2021 19:26:16 +0000 (+0200) Subject: Analysis workflow, echo wrong directories. X-Git-Tag: release-1.13.2rc1~71 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=abc82f5d876b8f5eec803a2a0cfb88336d4f9b51;p=thirdparty%2Funbound.git Analysis workflow, echo wrong directories. --- diff --git a/.github/workflows/analysis_ports.yml b/.github/workflows/analysis_ports.yml index 68e09ffef..4e2c6c4d1 100644 --- a/.github/workflows/analysis_ports.yml +++ b/.github/workflows/analysis_ports.yml @@ -292,6 +292,10 @@ jobs: echo "./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\"" ./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 + grep 'SHELL =' Makefile | cat + grep 'Files' Makefile | cat + grep 'SHELL =' lib/Makefile | cat + grep 'Files' lib/Makefile | cat mv Makefile Makefile.orig sed -e 's?^SHELL =.*$??' < Makefile.orig > Makefile mv lib/Makefile lib/Makefile.orig