diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/before_install.sh | 4 | ||||
| -rwxr-xr-x | ci/install.sh | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/ci/before_install.sh b/ci/before_install.sh index 7e2ff12d6d..5810bec71a 100755 --- a/ci/before_install.sh +++ b/ci/before_install.sh @@ -3,10 +3,6 @@ set -e set -o pipefail -if [[ "${CI_TARGET}" == lint ]]; then - exit -fi - echo 'Python info:' ( set -x diff --git a/ci/install.sh b/ci/install.sh index 4a48a4f5d7..a6cd955da5 100755 --- a/ci/install.sh +++ b/ci/install.sh @@ -4,7 +4,7 @@ set -e set -o pipefail if [[ "${CI_TARGET}" == lint ]]; then - python -m pip -q install --user --upgrade flake8 + python3 -m pip -q install --user --upgrade flake8 exit fi |