William Casarin f8fa4213f1 tools: use /usr/bin/env bash instead of /bin/bash ...

These commands fail on systems that do not have bash under /bin

Signed-off-by: William Casarin <jb55@jb55.com>

2018-07-24 00:25:43 +00:00

..

check-bolt.c

Force the use of the POSIX C locale for all commands and their subprocesses

2018-04-27 14:02:59 +02:00

check-includes.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

check-manpage.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

check-markdown.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

check-setup_locale.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

check-spelling.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

docker-entrypoint.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

generate-wire.py

tools/generate-wire.py: simple scheme to autoindent.

2018-07-17 12:32:00 +02:00

mockup.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

refresh-submodules.sh

external: fix submodule handling for parallel builds, submodule URL changes.

2018-06-08 17:56:01 +02:00

rel.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00

update-mocks.sh

tools: use /usr/bin/env bash instead of /bin/bash

2018-07-24 00:25:43 +00:00