mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Install pylint for user on Travis (#2064)
On Travis the pylint package can't be installed due to insufficient permissions. To fix this we'll try to install the package for the user and not for the system. JerryScript-DCO-1.0-Signed-off-by: Peter Gal pgal.u-szeged@partner.samsung.com
This commit is contained in:
parent
d9cc3fd4b7
commit
0ee7509030
@ -65,7 +65,7 @@ before_install:
|
||||
- if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$INSTALL_QEMU_ARM" == "yes" ]]; then tools/apt-get-install-qemu-arm.sh; fi
|
||||
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then tools/brew-install-deps.sh; fi
|
||||
- if [[ "$OPTS" == "--test262" ]]; then sudo timedatectl set-timezone America/Los_Angeles; fi
|
||||
- if [[ "$OPTS" == *"--check-pylint"* ]]; then pip install pylint==1.6.5; fi
|
||||
- if [[ "$OPTS" == *"--check-pylint"* ]]; then pip install --user pylint==1.6.5; fi
|
||||
|
||||
install:
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user