Skip to content

Commit

Permalink
travis: add 2.0 specific cache
Browse files Browse the repository at this point in the history
  • Loading branch information
@rjbou
rjbou committed May 8, 2020
1 parent 4c1704d commit 6e31f9f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis-ci.sh
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#!/bin/bash -xue

OPAMBSVERSION=2.0.0-rc2
OPAMBSROOT=$HOME/.opam.cached
OPAMBSROOT=$HOME/.opam.2.0.cached
OPAMBSSWITCH=opam-build
PATH=~/local/bin:$PATH; export PATH

Expand Down

0 comments on commit 6e31f9f

Please sign in to comment.