3 commits

Author	SHA1	Message	Date
Ivan Grokhotkov	e94288da31	global: use '/usr/bin/env bash' instead of '/usr/bin/bash' in shebangs ... Using the method from @cemeyer (https://github.com/espressif/esp-idf/pull/3166): find . -name \*.sh -exec sed -i "" -e 's|^#!.*bin/bash|#!/usr/bin/env bash|' {} + Closes https://github.com/espressif/esp-idf/pull/3166.	2020-04-03 01:10:02 +02:00
Ivan Grokhotkov	74247ed7f5	ci: keep executables list formatted	2019-05-24 17:04:23 +08:00
Ivan Grokhotkov	74928b9bcb	ci: check for executable flag on source files	2018-05-29 20:07:45 +08:00