5 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
Anton Maklakov	3b3b891282	ci: Remove unused IS_PRIVATE and IS_PUBLIC environment	2019-06-25 22:24:45 +07:00
Anton Maklakov	0652a4b714	ci: Use more pedantic checking for examples and ut	2018-12-10 12:34:16 +08:00
Anton Maklakov	34109c4171	scripts: Fix shell exit. Really exit from current process, not from child process	2018-12-05 21:25:16 +08:00
Anton Maklakov	35609de417	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00