[ travis ] wait for the end of the install

gallais · Apr 6, 2018 · 9cbd0a4 · 9cbd0a4
1 parent e74b461
commit 9cbd0a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -18,7 +18,7 @@ cache:
 install:
   - export PATH=$HOME/.cabal/bin:/opt/ghc/8.2.2/bin:/opt/cabal/2.0/bin:$PATH
   - cd travis/
-  - ./install_agda.sh
+  - travis_wait ./install_agda.sh
 
 script:
   - cd ../src/