diff options
author | Pierre Grandin <grandinp@gmail.com> | 2018-04-04 10:34:32 -0700 |
---|---|---|
committer | Pierre Grandin <grandinp@gmail.com> | 2018-04-04 10:34:32 -0700 |
commit | 1cfa1c4301b78e3bff2fbb7220916e4cb5b86b4c (patch) | |
tree | 743849db91a924f6fe5bf7e838d603c7f5b95cb0 | |
parent | 92d0740c1305ee1d81cc7cdf500ca3d918c82248 (diff) | |
download | navit-fix_coverity_source_url.tar.gz |
Restored target branch 'trunk'fix_coverity_source_url
-rw-r--r-- | ci/build_linux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 260504dc5..f84d247af 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -9,7 +9,7 @@ cmake_opts="-Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOO [ -d $BUILD_PATH ] || mkdir -p $BUILD_PATH pushd $BUILD_PATH -if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "fix_coverity_source_url" ]]; then +if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trunk" ]]; then # If we are building the official trunk code, push an update to coverity curl \ -X POST --data "token=${COVERITY_TOKEN}&project=${CIRCLE_PROJECT_USERNAME}" \ |