JehanneOS
/
devtools
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

coverity-scan: do nothing if not in $COVERITY_SCAN_BRANCH

This commit is contained in:
Giacomo Tesio 2017-08-12 00:27:25 +02:00
parent 351dbedd8b
commit dc88eab70f
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
coverity-scan.sh
View File

@ -6,6 +6,10 @@
set -e
if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then
exit 0
fi
cd `dirname $0`
cd ..
export JEHANNE=`pwd`