diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index d2a47ee7f85..9db6ed95c79 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -397,7 +397,7 @@ jobs: for FLAVOR in ${FLAVORS}; do echo "::group::{TYPE=$TYPE FLAVOR=$FLAVOR}" docker run otp \ - "if [ ${TYPE} = \"valgrind\" ]; then sudo apt-get install -y valgrind; fi && \ + "if [ ${TYPE} = \"valgrind\" ]; then sudo apt-get install -y valgrind bc; fi && \ make TYPE=$TYPE FLAVOR=$FLAVOR && \ cerl -$TYPE -emu_flavor $FLAVOR -noshell -s init stop" echo "::endgroup::" @@ -416,10 +416,10 @@ jobs: make && make TYPE=debug && cerl -noshell -s init stop && cerl -debug -noshell -s init stop' - - name: Run Erlang with various start options + - name: Start Erlang with various start options run: | OPTIONS=("+JPperf true" "+JMsingle true" "+JDdump true") - for OPTION in ${OPTIONS[@]}; do + for OPTION in "${OPTIONS[@]}""; do docker run otp "erl ${OPTION} -noshell -s init stop" done