Merge #310

310: Increase Travis no-output waiting time r=therealprof a=eldruin

Hopefully this will allow us to merge #308 

Co-authored-by: Diego Barrios Romero <eldruin@gmail.com>

Author: bors[bot]

.travis.yml

@@ -5,7 +5,7 @@ install:
   - export PATH="$PATH:$PWD/gcc/bin"
 
 script:
-  - bash ci/script.sh
+  - travis_wait 30 bash ci/script.sh
 
 after_success:
   - bash ci/after-success.sh