diff options
| -rwxr-xr-x | ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |