pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[travis] do not get stuck waiting on stdin during ./build-infer.sh

Browse Source 
Summary: homerdoh

Reviewed By: cristianoc

Differential Revision: D5218021

fbshipit-source-id: 9d2eafb
master
Jules Villard 8 years ago committed by Facebook Github Bot
parent 4fe9110ad3
commit d98b72a8da
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
.travis.yml
Unescape View File

@ -11,7 +11,7 @@ before_install:
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update; fi
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install opam; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install opam; fi
install: install:
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then travis_wait 120 ./build-infer.sh; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then travis_wait 120 ./build-infer.sh --yes; fi
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then eval `opam config env`; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then eval `opam config env`; fi
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam pin add -y --no-action -k git infer .; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam pin add -y --no-action -k git infer .; fi
- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam install -y infer; fi - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then opam install -y infer; fi

Write Preview
Loading…
Cancel
Save