diff options
author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-04-09 02:59:37 +0300 |
---|---|---|
committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-04-09 02:59:37 +0300 |
commit | 6136a96cdf631f824fb89cf2720422787439acc9 (patch) | |
tree | 625a0d5c1d32a5bbd9a9827e8e248eae193a5bf0 /ci | |
parent | 97ba77aa8e58c3c7ff767e6ca804d0e46370e5dc (diff) |
ci: Rename RUN_CI_ON_HOST to DANGER_RUN_CI_ON_HOST
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/test/04_install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/test/04_install.sh b/ci/test/04_install.sh index da7f1edda3..3cfaf77fde 100755 --- a/ci/test/04_install.sh +++ b/ci/test/04_install.sh @@ -35,7 +35,7 @@ fi export P_CI_DIR="$PWD" -if [ -z "$RUN_CI_ON_HOST" ]; then +if [ -z "$DANGER_RUN_CI_ON_HOST" ]; then echo "Creating $DOCKER_NAME_TAG container to run in" ${CI_RETRY_EXE} docker pull "$DOCKER_NAME_TAG" @@ -91,7 +91,7 @@ export DIR_FUZZ_IN=${DIR_QA_ASSETS}/fuzz_seed_corpus/ DOCKER_EXEC mkdir -p "${BASE_SCRATCH_DIR}/sanitizer-output/" -if [ -z "$RUN_CI_ON_HOST" ]; then +if [ -z "$DANGER_RUN_CI_ON_HOST" ]; then echo "Create $BASE_ROOT_DIR" DOCKER_EXEC rsync -a /ro_base/ $BASE_ROOT_DIR fi |