diff options
author | Pierre GRANDIN <grandinp@altern.org> | 2015-02-14 11:54:53 -0800 |
---|---|---|
committer | Pierre GRANDIN <grandinp@altern.org> | 2015-02-14 11:54:53 -0800 |
commit | 45c706a9df0b7266db2d8e7f4696f359ebe1e429 (patch) | |
tree | c20e838edcf6f7e684768966bbf013fc5b634ecd | |
parent | c14ddf1ad5771c63877bfcd9f9efb01a560c60f2 (diff) | |
download | navit-45c706a9df0b7266db2d8e7f4696f359ebe1e429.tar.gz |
Update build.sh
-rw-r--r-- | build.sh | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -5,3 +5,10 @@ mkdir bin && cd bin cov-build --dir cov-int cmake ../ cov-build --dir cov-int make -j32 tar czvf navit.tgz cov-int + +curl --form token=$COVERITY_TOKEN \ + --form email=$COVERITY_EMAIL \ + --form file=@navit.tgz \ + --form version="$CIRCLE_SHA1" \ + --form description="$CIRCLE_SHA1" \ + https://scan.coverity.com/builds?project=navit-gps |