 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 |
|