Merge pull request #316 from layus/trust-our-tests

Trust out tests again

The build failure was due to a timeout.
I have seen no build failures on the recent CI builds, and the vm tests have been disabled. I think it safe to no more ignore the test results.

Author: layus

.travis.yml

@@ -39,7 +39,7 @@ jobs:
         - cmake -DCMAKE_BUILD_TYPE=Release -DMOZART_BOOST_USE_STATIC_LIBS=False -DCMAKE_PROGRAM_PATH=$BIN -DCMAKE_PREFIX_PATH=$PREFIX $SOURCES
         - make dist VERBOSE=1
         - make VERBOSE=1
-        - make check || true
+        - make check
       deploy:
         provider: releases
         skip_cleanup: true

appveyor.yml

@@ -45,7 +45,7 @@ build_script:
     - mkdir C:\projects\mozart2\build
     - cd C:\projects\mozart2\build
     - cmake -DCMAKE_BUILD_TYPE=Release -G"MSYS Makefiles" -DCMAKE_PREFIX_PATH=C:/tcltk -DBOOST_ROOT="%BOOST_ROOT%" -DISS_INCLUDE_TCL=ON -DISS_INCLUDE_EMACS=ON C:\projects\mozart2
-    - make check || true
+    - make check
     - cmake --build . --target installer -- VERBOSE=1
 
 artifacts: