From ef0141ecedbc035405f4362888c027e847b252f4 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 26 Mar 2017 18:08:31 +0200
Subject: [PATCH] chore(.appveyor.yml,.travis.yml): invoke ctest with
 --output-on-failure

---
 .appveyor.yml    | 2 +-
 .appveyor.yml.in | 2 +-
 .travis.yml      | 4 ++--
 .travis.yml.in   | 4 ++--
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.appveyor.yml b/.appveyor.yml
index 77004e51ab..5ebd3d2d1f 100644
--- a/.appveyor.yml
+++ b/.appveyor.yml
@@ -11,7 +11,7 @@ build_script:
   - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ninja && cpack"
 
 test_script:
-  - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4"
+  - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
 
 artifacts:
   - path: build\lean-3.1.1-windows.zip
diff --git a/.appveyor.yml.in b/.appveyor.yml.in
index 68cbe0f0bd..d10ab72b79 100644
--- a/.appveyor.yml.in
+++ b/.appveyor.yml.in
@@ -11,7 +11,7 @@ build_script:
   - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ninja && cpack"
 
 test_script:
-  - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4"
+  - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
 
 artifacts:
   - path: build\lean-@LEAN_VERSION_MAJOR@.@LEAN_VERSION_MINOR@.@LEAN_VERSION_PATCH@-windows.zip
diff --git a/.travis.yml b/.travis.yml
index d9933c0f7e..0665216b35 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -112,9 +112,9 @@ script:
   - cpack
   # TODO(gabriel): add smaller test subset for debug and emscripten builds
   - if [[ $CMAKE_BUILD_TYPE == Release ]]; then
-      yes "A" | ctest -j2;
+      yes "A" | ctest -j2 --output-on-failure;
     else
-      yes "A" | ctest -j2 -I 100,600,10;
+      yes "A" | ctest -j2 -I 100,600,10 --output-on-failure;
     fi
   - if [[ $PACKAGE == TRUE ]]; then make package; fi
   - cd ..
diff --git a/.travis.yml.in b/.travis.yml.in
index c3a1179f19..7b5641981a 100644
--- a/.travis.yml.in
+++ b/.travis.yml.in
@@ -112,9 +112,9 @@ script:
   - cpack
   # TODO(gabriel): add smaller test subset for debug and emscripten builds
   - if [[ $CMAKE_BUILD_TYPE == Release ]]; then
-      yes "A" | ctest -j2;
+      yes "A" | ctest -j2 --output-on-failure;
     else
-      yes "A" | ctest -j2 -I 100,600,10;
+      yes "A" | ctest -j2 -I 100,600,10 --output-on-failure;
     fi
   - if [[ $PACKAGE == TRUE ]]; then make package; fi
   - cd ..