diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2018-04-27 17:29:24 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2018-04-27 17:29:24 -0700 |
| commit | a9474e9214ac9b5871108c06374d58f9570c61f7 (patch) | |
| tree | e118d7ad5f31f2b3b6b03de2cccce712e4e0495d | |
| parent | 613444ecaa34c1f6bc00518ebdb28aa24dab0411 (diff) | |
| download | navit-coverity_in_pr.tar.gz | |
Working on script logiccoverity_in_pr
| -rw-r--r-- | ci/build_linux.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index bacfe3e38..274d3d53b 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -9,8 +9,8 @@ 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}" == "trunk" || -z ${CIRCLE_PR_NUMBER} ]]; then +if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && \ + (( "${CIRCLE_BRANCH}" == "trunk" || "${CIRCLE_PR_NUMBER}" != "" )) ]]; 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}" \ |