Sébastien Santoro de8c57cb24 Use #!/usr/bin/env as shebang for Bash scripts ... On some systems, the bash command could be available in another directory than /bin. As such, to offer an env shebang is more convenient. This make sense even for docker scripts, as you can use Docker on FreeBSD or SmartOS for example.		2017-11-13 14:33:12 +00:00
..
arm-linux-gnueabi.config	travis: Move glibc backwards in time	2017-01-19 14:32:26 -08:00
build-toolchains.sh	Use #!/usr/bin/env as shebang for Bash scripts	2017-11-13 14:33:12 +00:00
Dockerfile	ci: Remove the need for dumb-init	2017-08-26 18:34:13 -07:00