diff options
| author | Mike Taves <mwtoews@gmail.com> | 2019-09-25 10:58:10 +1200 |
|---|---|---|
| committer | Mike Taves <mwtoews@gmail.com> | 2019-09-25 11:16:27 +1200 |
| commit | 14828d9695ab54272fee0dab35a489180c20f2ea (patch) | |
| tree | 2435fe59d4c39a6a73b210886e45776e74dd4689 /travis/before_install_pip.sh | |
| parent | a71fce63c2d77b6709005667efd577d728b900e9 (diff) | |
| download | PROJ-14828d9695ab54272fee0dab35a489180c20f2ea.tar.gz PROJ-14828d9695ab54272fee0dab35a489180c20f2ea.zip | |
Rearrange Travis CI scripts to be more modular
* Split global before_install for apt and pip
* Use -qq option for apt-get, which implies -y
* Use list of targets with apt-get rather than one-per-line
* Use local variables for mingw32/install.sh
* Show version info for cppcheck, pip and python
* Simplify clang+llvm-6 path
Diffstat (limited to 'travis/before_install_pip.sh')
| -rwxr-xr-x | travis/before_install_pip.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/travis/before_install_pip.sh b/travis/before_install_pip.sh new file mode 100755 index 00000000..30a7f767 --- /dev/null +++ b/travis/before_install_pip.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +# All platform-specific before_install scripts starts by running this +# "global" before_install script. + +# Configure Python pip +pip3 install --user --upgrade pip +echo `pip3 --version` +pip3 config --user set global.progress_bar off +pip3 install --user jsonschema |