Windows WTF

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

.travis.yml

@@ -5,29 +5,6 @@ cache: ccache
 
 jobs:
   include:
-    - name: basic checks and reference configurations
-      addons:
-        apt:
-          packages:
-          - gnutls-bin
-          - doxygen
-          - graphviz
-          - gcc-arm-none-eabi
-          - libnewlib-arm-none-eabi
-      language: python # Needed to get pip for Python 3
-      python: 3.5 # version from Ubuntu 16.04
-      install:
-        - pip install mypy==0.780 pylint==2.4.4
-      script:
-        - tests/scripts/all.sh -k 'check_*'
-        - tests/scripts/all.sh -k test_default_out_of_box
-        - tests/scripts/all.sh -k test_ref_configs
-        - tests/scripts/all.sh -k build_arm_none_eabi_gcc_arm5vte build_arm_none_eabi_gcc_m0plus
-
-    - name: full configuration
-      script:
-        - tests/scripts/all.sh -k test_full_cmake_gcc_asan
-
     - name: macOS
       os: osx
       compiler: clang
@@ -48,6 +25,8 @@ jobs:
         - scripts/make_generated_files.bat
         # Logs appear out of sequence on Windows. Give time to catch up.
         - sleep 5
+        - ls -l library/error.c library/version_features.c programs/psa/psa_constant_names_generated.c programs/test/query_config.c tests/suites/test_suite_psa_crypto_not_supported.generated.data tests/suites/test_suite_psa_crypto_storage_format.current.data tests/suites/test_suite_psa_crypto_storage_format.v0.data
+        - for x in library/error.c library/version_features.c programs/psa/psa_constant_names_generated.c programs/test/query_config.c tests/suites/test_suite_psa_crypto_not_supported.generated.data tests/suites/test_suite_psa_crypto_storage_format.current.data tests/suites/test_suite_psa_crypto_storage_format.v0.data; do echo "==== $x ===="; head $x | cat -A; echo; done
         - scripts/windows_msbuild.bat v141 # Visual Studio 2017
 
 after_failure:
@@ -57,15 +36,3 @@ env:
   global:
     - SEED=1
     - secure: "FrI5d2s+ckckC17T66c8jm2jV6i2DkBPU5nyWzwbedjmEBeocREfQLd/x8yKpPzLDz7ghOvr+/GQvsPPn0dVkGlNzm3Q+hGHc/ujnASuUtGrcuMM+0ALnJ3k4rFr9xEvjJeWb4SmhJO5UCAZYvTItW4k7+bj9L+R6lt3TzQbXzg="
-
-addons:
-  apt:
-    packages:
-    - gnutls-bin
-  coverity_scan:
-    project:
-      name: "ARMmbed/mbedtls"
-    notification_email: support-mbedtls@arm.com
-    build_command_prepend:
-    build_command: make
-    branch_pattern: coverity_scan