Willy Tarreau be9b00f992 SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts ...

Given that some OSes have bash in /usr/local/bin and in order not to
give too easy an excuse to Olivier for not backporting fixes, let's
make a few scripts rely on /usr/bin/env bash instead of /bin/bash :-)

2020-02-05 04:49:07 +01:00

..

announce-release

SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts

2020-02-05 04:49:07 +01:00

backport

SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts

2020-02-05 04:49:07 +01:00

build-ssl.sh

…

create-release

SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts

2020-02-05 04:49:07 +01:00

git-show-backports

SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts

2020-02-05 04:49:07 +01:00

publish-release

SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts

2020-02-05 04:49:07 +01:00

run-regtests.sh

REGTEST: run-regtests: implement #REQUIRE_BINARIES

2019-12-19 14:36:46 +01:00