diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-16 15:45:40 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-16 15:45:40 +0100 |
| commit | f21deb6c861b359f0d3bf8b170d277cfa0d80171 (patch) | |
| tree | b279482db0b2694b765149baba5edf9cb44ed6cf | |
| parent | 14b8ecf4ba373408b3399d7446a23fe101275e6d (diff) | |
| parent | d375458c9f00652718870fec37d4b6b6ff461647 (diff) | |
Merge PR #7007: Emergency fix for OSX packaging job on Travis.
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index d775824f0..41814e954 100644 --- a/.travis.yml +++ b/.travis.yml @@ -250,8 +250,10 @@ matrix: - EXTRA_OPAM="${LABLGTK}" before_install: - brew update + - brew unlink python - brew install opam gnu-time gtk+ expat gtksourceview gdk-pixbuf - - brew upgrade python + - brew unlink python@2 + - brew install python3 - pip3 install macpack before_deploy: - dev/build/osx/make-macos-dmg.sh |