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