Skip to content

Commit

Permalink
Move OPAMBSVERSION to .travis.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jul 16, 2020
1 parent 6a92397 commit ac7064b
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 2 deletions.
1 change: 0 additions & 1 deletion .travis-ci.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
#!/bin/bash -xue

OPAMBSVERSION=2.0.7
OPAMBSROOT=$HOME/.opam.2.0.cached
OPAMBSSWITCH=opam-build
PATH=~/local/bin:$PATH; export PATH
Expand Down
6 changes: 5 additions & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,11 @@ cache:
script:
- bash -exu .travis-ci.sh build

matrix:
env:
global:
- OPAMBSVERSION=2.0.7

jobs:
include:
- os: linux
env: OCAML_VERSION=4.02.3
Expand Down

0 comments on commit ac7064b

Please sign in to comment.