diff options
| -rw-r--r-- | circle.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/circle.yml b/circle.yml index ee1fce8ad4..30b12feada 100644 --- a/circle.yml +++ b/circle.yml @@ -16,7 +16,7 @@ machine: wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_library_check.py" -P ${HOME} wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_release.py" -P ${HOME} wget "https://raw.githubusercontent.com/boostorg/release-tools/develop/ci_boost_status.py" -P ${HOME} - echo '#!/bin/sh' > ${HOME}/script.sh + echo '#!/bin/bash' > ${HOME}/script.sh echo 'export SCRIPT_N=(${SCRIPT_N})' >> "${HOME}/script.sh" echo 'export SCRIPT=${SCRIPT_N[$CIRCLE_NODE_INDEX]}' >> "${HOME}/script.sh" echo 'export EOL_N=(${EOL_N})' >> "${HOME}/script.sh" |