chore(.appveyor.yml,.travis.yml): invoke ctest with --output-on-failure

leanprover · Mar 27, 2017 · ef0141e · ef0141e
1 parent 58d5802
commit ef0141e
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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@.@[email protected]

diff --git 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
@@ -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 ..