diff options
| author | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2017-09-16 16:32:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-16 16:32:11 -0700 |
| commit | 5caa9ce4d9c674a0460f77ef1192cbda9cb76aaa (patch) | |
| tree | dfb5bb9fb2c79684dbae797d41e2d29061ed8636 /ci/build_tomtom_plugin.sh | |
| parent | b0a8ef218ce94e47e863692757364cac7ceb6070 (diff) | |
| download | navit-5caa9ce4d9c674a0460f77ef1192cbda9cb76aaa.tar.gz | |
Coverity upgrade (#313)
* 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
Diffstat (limited to 'ci/build_tomtom_plugin.sh')
| -rw-r--r-- | ci/build_tomtom_plugin.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/build_tomtom_plugin.sh b/ci/build_tomtom_plugin.sh index 98346e903..51a15f815 100644 --- a/ci/build_tomtom_plugin.sh +++ b/ci/build_tomtom_plugin.sh @@ -136,4 +136,5 @@ convert -background none ../navit/icons/tomtom_minus.svg -resize 80x80 $OUT_PATH cd $OUT_PATH -zip -r $CIRCLE_ARTIFACTS/navitom.zip navit SDKRegistry +mkdir /output +zip -r /output/navitom_plugin.zip navit SDKRegistry ts |