mirror of
https://github.com/NLnetLabs/unbound.git
synced 2025-12-20 23:00:56 -05:00
Analysis workflow, fix shell substitution.
This commit is contained in:
parent
536e0e2125
commit
4fdb6d85eb
1 changed files with 6 additions and 6 deletions
12
.github/workflows/analysis_ports.yml
vendored
12
.github/workflows/analysis_ports.yml
vendored
|
|
@ -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"
|
./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
|
# fixup shell from space in pathname
|
||||||
mv Makefile Makefile.orig
|
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
|
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
|
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
|
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
|
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
|
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"
|
echo "make"
|
||||||
make
|
make
|
||||||
echo "make install"
|
echo "make install"
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue