temporarily increase dependency-building timeout to 35 minutes
commitdc0179e7fd3af1fd846805fed5b3ab9af567cf3c
authorAgentM <agentm@themactionfaction.com>
dateSun 14 Jan 2018, 16:30 (9 years ago)
parentbb2ca1b
.travis/install-dependencies.sh+1−1
@@ -4,7 +4,7 @@ if [[ "$(uname)" = "Darwin" ]]; then
44else
55 timeout_cmd="timeout"
66fi
7−$timeout_cmd 15m stack --no-terminal --jobs=2 --install-ghc --system-ghc build --only-dependencies --fast
7+$timeout_cmd 35m stack --no-terminal --jobs=2 --install-ghc --system-ghc build --only-dependencies --fast
88ret=$?
99case "$ret" in
1010 0)