open62541/tools/.coverity.sh

#!/bin/bash

#
# This sciprt is run by travis-ci and pushes the first commit
# of the day to the coverity scan service
#

COMMITS=`git log --since=today.midnight | grep commit | wc -l`

if [[ "$COMMITS" == "1" ]]; then
    #first commit a day - push changes to branch coverity_scan
    git clone -b coverity_scan https://$GITAUTH@github.com/acplt/open62541
    cd open62541
    git fetch origin
    git merge origin/master --no-commit -X theirs
    git config --global user.email "open62541-travis-ci@users.noreply.github.com"
    git config --global user.name "Open62541 travis-ci"
    git config --global push.default simple
    git add *
    git commit -am "automated merge"
    git reset $(git commit-tree HEAD^{tree} -m "push to coverity scan by travis-ci")
    git push https://$GITAUTH@github.com/acplt/open62541 --force
    cd ..
    rm -rf open62541
else
    echo "Not the first commit of the day - no push to coverity required"
fi