e94288da31
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.
12 lines
258 B
Bash
Executable file
12 lines
258 B
Bash
Executable file
#!/usr/bin/env bash
|
|
#
|
|
# Short script to verify behaviour of configure_ci_environment.sh
|
|
#
|
|
#
|
|
cd $(dirname $0) # make dir
|
|
|
|
(
|
|
. ./configure_ci_environment.sh
|
|
[[ $PEDANTIC_CFLAGS ]] || { echo "PEDANTIC_CFLAGS is not defined"; exit 1; }
|
|
) || { exit 1; }
|