Merge remote-tracking branch 'upstream-public/pr/2218' into development

This commit is contained in:
Jaeden Amero 2018-12-06 16:15:01 +00:00
commit 28efba0874

View file

@ -4,6 +4,13 @@ compiler:
- gcc - gcc
sudo: false sudo: false
cache: ccache cache: ccache
# blocklist
branches:
except:
- development-psa
- coverity_scan
script: script:
- tests/scripts/recursion.pl library/*.c - tests/scripts/recursion.pl library/*.c
- tests/scripts/check-generated-files.sh - tests/scripts/check-generated-files.sh
@ -34,7 +41,7 @@ addons:
coverity_scan: coverity_scan:
project: project:
name: "ARMmbed/mbedtls" name: "ARMmbed/mbedtls"
notification_email: p.j.bakker@polarssl.org notification_email: simon.butcher@arm.com
build_command_prepend: build_command_prepend:
build_command: make build_command: make
branch_pattern: coverity_scan branch_pattern: coverity_scan