Permalink
Browse files

add sudo: false to travis, to take advantage of docker

  • Loading branch information...
xrchz committed Dec 19, 2014
1 parent d3d34f5 commit d05f6c50aefb4dff68cde5bf4a14d09acb2d6f2e
Showing with 1 addition and 0 deletions.
  1. +1 −0 .travis.yml
View
@@ -1,4 +1,5 @@
language: c
sudo: false
install: developers/cached-deps.sh
script: developers/build-travis.sh
env: PATH=$PATH:$HOME/HOL/bin LD_LIBRARY_PATH=$HOME/polyml/lib

0 comments on commit d05f6c5

Please sign in to comment.