|
@@ -143,11 +143,11 @@ script:
|
|
after_failure:
|
|
after_failure:
|
|
## configure will leave a log file with more details of config failures.
|
|
## configure will leave a log file with more details of config failures.
|
|
## But the log is too long for travis' rendered view, so tail it.
|
|
## But the log is too long for travis' rendered view, so tail it.
|
|
- - tail -1000 config.log
|
|
|
|
|
|
+ - tail -1000 config.log || echo "tail failed"
|
|
## `make check` will leave a log file with more details of test failures.
|
|
## `make check` will leave a log file with more details of test failures.
|
|
- - if [[ "$DISTCHECK" == "" ]]; then cat test-suite.log; fi
|
|
|
|
|
|
+ - if [[ "$DISTCHECK" == "" ]]; then cat test-suite.log || echo "cat failed"; fi
|
|
## `make distcheck` puts it somewhere different.
|
|
## `make distcheck` puts it somewhere different.
|
|
- - if [[ "$DISTCHECK" != "" ]]; then make show-distdir-testlog; fi
|
|
|
|
|
|
+ - if [[ "$DISTCHECK" != "" ]]; then make show-distdir-testlog || echo "make failed"; fi
|
|
|
|
|
|
after_success:
|
|
after_success:
|
|
## If this build was one that produced coverage, upload it.
|
|
## If this build was one that produced coverage, upload it.
|