delta/navit.git/ci/docker/tomtom/tomtom.cache, branch audio github.com: navit-gps/navit.git change:ci:rename ci folder to scripts (#593) 2018-05-24T13:01:16+00:00 Joseph Herlant aerostitch@users.noreply.github.com 2018-05-24T13:01:16+00:00 2523dd28f42214ddf83367873b3163225045df3c 






Coverity upgrade (#313)
2017-09-16T23:32:11+00:00

Pierre GRANDIN
pgrandin@users.noreply.github.com

2017-09-16T23:32:11+00:00

5caa9ce4d9c674a0460f77ef1192cbda9cb76aaa

* Switching to a pre-built image to build Tomtom builds

* Archive less artifacts for Tomtom builds

* Ensures that the /output directory for build artefacts exists

* Updated coverity tools version

* Run coverity report for the coverity_upgrade branch

* Fixed potential path issues

* Fixed coverity path issues for ci v2

* Fixed tar permission issues for ci v2

* Ensures that curl is installed, needed for coverity

* Run coverity builds only for trunk





* Switching to a pre-built image to build Tomtom builds

* Archive less artifacts for Tomtom builds

* Ensures that the /output directory for build artefacts exists

* Updated coverity tools version

* Run coverity report for the coverity_upgrade branch

* Fixed potential path issues

* Fixed coverity path issues for ci v2

* Fixed tar permission issues for ci v2

* Ensures that curl is installed, needed for coverity

* Run coverity builds only for trunk