try to fix build

leanprover-community · Feb 8, 2019 · e525773 · e525773
1 parent 1ed7ad1
commit e525773
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -28,11 +28,11 @@ jobs:
   include:
     - stage: Pre-build-1
       script:
-        - travis_long "timeout 2400 leanpkg test" | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'
+        - travis_long "timeout 2400 leanpkg test" # | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'
 
     - stage: Pre-build-2
       script:
-        - travis_long "timeout 2400 leanpkg test" | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'
+        - travis_long "timeout 2400 leanpkg test"  # | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'
 
     - stage: Test
       script: