Travis: add travis_wait to prevent timing out if no output.
commit394b1985b13780310fd2b3bec7ca9f635a3221cb
authorJohn MacFarlane <jgm@berkeley.edu>
dateWed 27 Sep 2017, 20:25 (9 years ago)
parent9a47c78
.travis.yml+1
@@ -119,6 +119,7 @@ install:
119119 esac
120120
121121script:
122+- travis_wait 30 sleep 1800 &
122123- |
123124 case "$BUILD" in
124125 stack)