coverity: try to disable coverity scan for newlib

This commit is contained in:
Giacomo Tesio 2017-09-01 00:51:26 +02:00
parent 82f581f76e
commit 70623daadc
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 4a2ba8e03f9ca5eea0793ac1587fd2575d960b70
Subproject commit 1bd4718a1b3a7be4ba426fbefae1e0b2a4fdbe6d